Formal System Modelling Using Abstract Data Types in Event-B

Thumbnail
Metadata only
Author
Fürst, Andreas
Hoang, Thai Son
Basin, David
Sato, Naoto
Miyazaki, Kunihiko
Show all
Date
2014
Type
  • Other Conference Item
Publication status
published
External links
Search via SFX
Editor
Ameur, Yamine Ait
Schewe, Klaus-Dieter
Book title
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Journal / series
Lecture Notes in Computer Science
Volume
8477
Pages / Article No.
222 - 237
Publisher
Springer
Event
4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014
Organisational unit
03634 - Basin, David / Basin, David  
02660 - Institut für Informationssicherheit
Notes
.
More
Show all metadata
Citations
Cited 5 times in Scopus
ETH Bibliography
yes
Altmetrics