Formal methods for railway operation and control systems
Symposium FORMS 2003 ; 2003 ; Budapest Symposium FORMS 2003 (Budapest) : 2003.05.15-16
2003
V, 371 S.
graph. Darst.
Konferenzband
Englisch
BKL: | 55.34 Bahnbetriebstechnik |
Formal methods for railway signalling
Tema Archiv | 1989
|Application of Formal Methods to the Railway Signalling Systems
British Library Online Contents | 2002
|Formal Software Techniques for Railway Systems
British Library Conference Proceedings | 2001
|Towards Domain-Specific Formal Specification Languages for Railway Control Systems
British Library Conference Proceedings | 2001
|UML-based design and formal analysis of railway traffic control systems
Tema Archiv | 2004
|