Verification of Railway Interlocking - Compositional Approach with OCRA
Reliability, safety, and security of railway systems: modelling, analysis, verification, and certification ; 2016 ; Paris
2016-01-01
16 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Projekt "Ocra" will Marktbarrieren überwinden
IuD Bahn | 2008
|An algorithmic approach to the verification of a railway interlocking table
British Library Conference Proceedings | 1996
|Static Verification of Railway Schema and Interlocking Design Data
British Library Conference Proceedings | 2016
|Simulation and verification of UML-based Railway Interlocking Systems
Tema Archive | 2007
|