Event-B patterns and their tool support

Download
Full text (published Version) (PDF, 813.7Kb)
Thumbnail
Open access
Author
Hoang, Thai Son
Fürst, Andreas
Abrial, Jean-Raymond
Date
2013-05
Type
    Journal Article
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000069466
Publication status
published
External links
Journal / series
Software and Systems Modeling
Volume
12(2)
Pages / Article No.
229 - 244
Publisher
Springer
Subject
Event-B; Formal methods; Design patterns; Formal modelling; Model reuse
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Received 15 June 2010, Accepted 17 November 2010, Published online 4 January 2011. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher
More
Show all metadata
Citations
Cited 27 times in Web of Science
ETH Bibliography
yes
Altmetrics