Modeling and analyzing complex reactive systems - The Statemate approach
7th Computers in Aerospace Conference ; 1989 ; Monterey , CA , U.S.A.
1989-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Modeling and Verification of Reactive Systems Using STATEMATE and Event B
British Library Online Contents | 2009
|Statemate-based Modeling and Verification of Railway Systems: Concepts and Application
British Library Conference Proceedings | 2000
|Department highlights - METEOR guided by Statemate
Online Contents | 2005
Modellierung der Forms-Fallstudien mit Statemate
Tema Archiv | 2000
|Formale Analyse und Verifikation von Statemate-Entwürfen
IuD Bahn | 2001
|