A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway
Electronic Communications of the EASST ; 76 , Electronic Communications of the EASST, Vol. 76 (2019): Automated Verification of Critical Systems 2018 (AVoCS 2018)
2019
268KB
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Compositional Verification of Railway Interlockings: Comparison of Two Methods
British Library Conference Proceedings | 2022
|Simulating and analyzing railway interlockings in ExSpect
TIBKAT | 1994
|Electric railway traction. Part 4: Signalling and interlockings
IET Digital Library Archive | 1995
|Safety assurance of configuration data for railway signal interlockings
IET Digital Library Archive | 2006
|