Statemate-based Modeling and Verification of Railway Systems: Concepts and Application
Conference, Formale Techniken fur die Eisenbahnsicherung ; 1999
2000-01-01
12 pages
Also known as Forms '99
Conference paper
German
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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
Modellierung der Forms-Fallstudien mit Statemate
Tema Archive | 2000
|Formale Analyse und Verifikation von Statemate-Entwürfen
IuD Bahn | 2001
|