Event-B patterns and their tool support
Open access
Datum
2013-05Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Persistenter Link
https://doi.org/10.3929/ethz-b-000069466Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Software and Systems ModelingBand
Seiten / Artikelnummer
Verlag
SpringerThema
Event-B; Formal methods; Design patterns; Formal modelling; Model reuseOrganisationseinheit
03634 - Basin, David / Basin, David
Anmerkungen
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 publisherETH Bibliographie
yes
Altmetrics