Formal Modelling Techniques for Efficient Development of Railway Control Products
Reliability, safety, and security of railway systems ; 2017 ; Pistoia, Italy
2017-01-01
16 pages
Conference paper
Unknown
© 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
|