Towards safe and secure computer-based railway interlocking systems
COMPRAIL ; 17. ; 2020 ; Online
2021
Aufsatz (Konferenz)
Englisch
Fall-safe microcomputer for railway interlocking
Tema Archiv | 1987
|Modelling Railway Interlocking Systems
British Library Conference Proceedings | 2001
|Automatic instantiation for railway interlocking systems
Tema Archiv | 2007
|Instantiating generic charts for Railway Interlocking Systems
Tema Archiv | 2005
|