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 development and verification of a distributed railway control system
BASE | 2000
|Formal methods for railway signalling
Tema Archive | 1989
|Formal methods for railway operation and control systems
TIBKAT | 2003
|