Compositional Verification of Railway Interlockings: Comparison of Two Methods
Reliability, safety, and security of railway systems (4th international conference)
2022-01-01
17 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Engineering Index Backfile | 1933
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
|