Modeling and analyzing complex reactive systems - The Statemate approach
7th Computers in Aerospace Conference ; 1989 ; Monterey , CA , U.S.A.
1989-01-01
Conference paper
Electronic Resource
English
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 Archive | 2000
|