Applied Bounded Model Checking for Interlocking System Designs
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 ; 205-220
2014-01-01
16 pages
Held as part of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013).
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Low-voltage interlocking self-checking loop, self-checking method and vehicle
European Patent Office | 2023
|PT2 configuration data checking for interlocking type Westinghouse
IuD Bahn | 2006
|Modern interlocking applied to ore transportation
Engineering Index Backfile | 1947
|A VEHICLE SIDE MIRRORS CAPABLE OF FORWARD CHECKING AND INTERLOCKING SYSTEM THEREOF
European Patent Office | 2024
High-voltage interlocking loop, electrical fault checking method and electric vehicle
European Patent Office | 2023
|