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