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