Event-B patterns and their tool support
Publication status
publishedJournal / series
Software and systems modelingVolume
Pages
Publisher
SpringerSubject
Event-B; Formal methods; Design patterns; Formal modelling; Model reuseOrganisational unit
03634 - Basin, David
Notes
Received 15 June 2010, Accepted 17 November 2010, Published online 4 January 2011.More
Show all metadata