Formal verification of protocol specified in LTS for railway signalling systems
9th, International Conference on Computer Aided Design, Manufacture, and Operation in the Railway and Other Advanced Mass Transit Systems; Computers in railways IX ; 2004 ; Dresden, Germany
2004-01-01
10 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal methods for railway signalling
Tema Archive | 1989
|Formal specifications of railway signalling systems using Stateflow
Tema Archive | 2007
|A formal approach to railway signalling
Tema Archive | 1990
|Application of Formal Methods to the Railway Signalling Systems
British Library Online Contents | 2002
|Interlocking Formal Verification at Alstom Signalling
British Library Conference Proceedings | 2019
|