Simulating and analyzing railway interlockings in ExSpect
Computing science report ; 94-37
1994
30 Bl
Buch
Englisch
Engineering Index Backfile | 1938
Compositional Verification of Railway Interlockings: Comparison of Two Methods
British Library Conference Proceedings | 2022
|Interlockings installed at two crossings
Engineering Index Backfile | 1940
Engineering Index Backfile | 1938
Microprocessor Interlockings: Designing Network Equations (IEEE)
British Library Conference Proceedings | 1997
|