Refinement, Decomposition, and Instantiation of Discrete Models

Application to Event-B
Thumbnail
Metadata only
Autor(in)
Abrial, Jean-Raymond
Hallerstede, Stefan
Datum
2006-05
Typ
    Journal Article
Publikationsstatus
published
Zeitschrift / Serie
Fundamenta Informaticae
Band
77(1-2)
Seiten / Artikelnummer
1 - 28
Verlag
IOS Press
Konferenz
12th International Workshops on Abstract State Machines 2005 (ASM’05), Paris, France, March 8-11, 2005
Thema
Refinement; Decomposition; Generic Instantiation; Event-B
Organisationseinheit
03634 - Basin, David / Basin, David  
Anmerkungen
Published online 29 June 2007.
Mehr
Alle Metadaten anzeigen
Zitate
106 Zitate in Web of Science
ETH Bibliographie
yes
Altmetrics