Modeling and Verification of Reactive Systems Using STATEMATE and Event B
INTERNATIONAL JOURNAL OF COMPUTERS AND THEIR APPLICATIONS ; 16 , 4 ; 200-219
2009-01-01
20 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 004 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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
|