Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Workshop, Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 2013 ; Madrid
Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 8368 ; 237-252
2014-01-01
16 pages
Held as part of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013).
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal validation method and tools for computerized railway interlocking systems
Tema Archiv | 2008
|Formal Validation Method and Tools for French Computerized Railway Interlocking Systems
British Library Conference Proceedings | 2008
|Comparing Formal Verification Approaches of Interlocking Systems
British Library Conference Proceedings | 2016
|Formal Methods for Industrial Interlocking Verification
IEEE | 2018
|Principles of formal verification of interlocking software
Tema Archiv | 2007
|