Industrialising a proof-based verification approach of computerised interlocking systems
11th, International conference on computer aided design, manufacture, and operation in the railway and other advanced mass transit systems; Computers in railways XI ; 2008 ; Toledo, Spain
2008-01-01
10 pages
Includes bibliographical references and index; Also known as COMPRAIL 2008
Conference paper
English
© 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
|Comparing Formal Verification Approaches of Interlocking Systems
British Library Conference Proceedings | 2016
|Verification of Railway Interlocking - Compositional Approach with OCRA
British Library Conference Proceedings | 2016
|Simulation and verification of UML-based Railway Interlocking Systems
Tema Archive | 2007
|Verification of Solid State Interlocking Programs
British Library Conference Proceedings | 2014
|