Using formal methods for quality assurance of interlocking systems
International conference; 6th, Computer aided design, manufacture and operation in the railway and other advanced mass transit systems: Computers in railways VI ; 1998 ; Lisbon
1998-01-01
10 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Using formal methods for quality assurance of interlocking systems
Tema Archive | 1998
|Formal Methods for Industrial Interlocking Verification
IEEE | 2018
|Comparing Formal Verification Approaches of Interlocking Systems
British Library Conference Proceedings | 2016
|Interlocking Formal Verification at Alstom Signalling
British Library Conference Proceedings | 2019
|