- Journal Article
Rights / licenseIn Copyright - Non-Commercial Use Permitted
Journal / seriesSoftware and Systems Modeling
Pages / Article No.
SubjectEvent-B; Formal methods; Design patterns; Formal modelling; Model reuse
Organisational unit03634 - Basin, David / Basin, David
NotesReceived 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
MoreShow all metadata