Verification of Solid State Interlocking Programs
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 ; 253-268
01.01.2014
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.
INTERLOCKING DATA VERIFICATION DEVICE AND INTERLOCKING DATA-DESIGN VERIFICATION SYSTEM
Europäisches Patentamt | 2018
|NYCT Solid State Interlocking (SSI) Safety Certification
British Library Conference Proceedings | 2016
|Solid-state interlocking in railway signalling, SMILE
Tema Archiv | 1987
|