
Open access
Date
2013-05Type
- Journal Article
Permanent link
https://doi.org/10.3929/ethz-b-000069466Publication status
publishedExternal links
Journal / series
Software and Systems ModelingVolume
Pages / Article No.
Publisher
SpringerSubject
Event-B; Formal methods; Design patterns; Formal modelling; Model reuseOrganisational 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 publisherMore
Show all metadata