Compositional Verification of Railway Interlockings: Comparison of Two Methods
Reliability, safety, and security of railway systems (4th international conference)
01.01.2022
17 pages
Aufsatz (Konferenz)
Unbekannt
© 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
|Engineering Index Backfile | 1954