Compositional Verification of Railway Interlockings: Comparison of Two Methods
Reliability, safety, and security of railway systems (4th international conference)
2022-01-01
17 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Simulating and analyzing railway interlockings in ExSpect
TIBKAT | 1994
|Engineering Index Backfile | 1938
Interlockings installed at two crossings
Engineering Index Backfile | 1940
Verification and validation of interlockings in the Netherland
IuD Bahn | 2002
|