Formal Software Techniques for Railway Systems
IFAC symposium; 9th, Control in transportation systems ; 2000 ; Braunschweig, Germany
2001-01-01
8 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Modelling Techniques for Efficient Development of Railway Control Products
British Library Conference Proceedings | 2017
|Formal specifications of railway signalling systems using Stateflow
Tema Archiv | 2007
|Formal methods for railway operation and control systems
TIBKAT | 2003
|Formal methods for railway signalling
Tema Archiv | 1989
|Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems
British Library Conference Proceedings | 2011
|