Interlocking Formal Verification at Alstom Signalling
Reliability, safety, and security of railway systems: modeling analysis, verifivation, and certification (International conference)
2019-01-01
11 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Methods for Industrial Interlocking Verification
IEEE | 2018
|Principles of formal verification of interlocking software
Tema Archive | 2007
|Comparing Formal Verification Approaches of Interlocking Systems
British Library Conference Proceedings | 2016
|Engineering Index Backfile | 1909
|Engineering Index Backfile | 1903