Formal validation method for computerized interlocking system
Recherche, transports, sécurité ; 28 , 2 ; 101-119
2012
Aufsatz (Zeitschrift)
Französisch
BKL: | 55.80 / 55.80 Verkehrswesen, Transportwesen: Allgemeines | |
Lokalklassifikation TIB: | 250/7010/7015 |
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
|Formal Validation of Interlocking Under Signaling Rules
Springer Verlag | 2021
|Computerized interlocking system for railway signaling control: SMILE
Tema Archiv | 1985
|Validation of Railway Interlocking Systems by Formal Verification, A Case Study
British Library Conference Proceedings | 2014
|