A platform for research: civil engineering, architecture and urbanism
Towards safe and secure computer-based railway interlocking systems
Towards safe and secure computer-based railway interlocking systems
Towards safe and secure computer-based railway interlocking systems
Martinez, Sebastien (author) / Pereira, Dalay Israel de Almeida (author) / Bon, Philippe (author) / Collart-Dutilleul, Simon (author) / Perin, Matthieu (author)
COMPRAIL ; 17. ; 2020 ; Online
2021
Conference paper
English
Interlocking at a railway bridge in England
Engineering Index Backfile | 1921
|British Library Conference Proceedings | 2013
|Novel Online Safety Observer for Railway Interlocking System
Online Contents | 2013
|Formal Validation Method and Tools for French Computerized Railway Interlocking Systems
British Library Conference Proceedings | 2008
|