Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
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 (Autor:in) / Pereira, Dalay Israel de Almeida (Autor:in) / Bon, Philippe (Autor:in) / Collart-Dutilleul, Simon (Autor:in) / Perin, Matthieu (Autor:in)
COMPRAIL ; 17. ; 2020 ; Online
2021
Aufsatz (Konferenz)
Englisch
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
|