Static Verification of Railway Schema and Interlocking Design Data
Reliability, safety, and security of railway systems: modelling, analysis, verification, and certification ; 2016 ; Paris
2016-01-01
11 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
INTERLOCKING DATA VERIFICATION DEVICE AND INTERLOCKING DATA-DESIGN VERIFICATION SYSTEM
European Patent Office | 2018
|Verification of Railway Interlocking - Compositional Approach with OCRA
British Library Conference Proceedings | 2016
|