Formal Modelling Techniques for Efficient Development of Railway Control Products
Reliability, safety, and security of railway systems ; 2017 ; Pistoia, Italy
01.01.2017
16 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Software Techniques for Railway Systems
British Library Conference Proceedings | 2001
|Formal Specification of Railway Control Systems
Springer Verlag | 2013
|Formal methods for railway operation and control systems
TIBKAT | 2003
|