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 Modelling Techniques for Efficient Development of Railway Control Products
| Springer Verlag | 2017
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