A Formal Security Analysis of ERTMS Train to Trackside Protocols
Reliability, safety, and security of railway systems: modelling, analysis, verification, and certification ; 2016 ; Paris
2016-01-01
16 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Train control ERTMS tests underway
British Library Online Contents | 2004
Train control - ERTMS tests underway
Online Contents | 2004
SAFETY CODING METHOD FOR TRACKSIDE TRAIN POSITIONING INFORMATION
European Patent Office | 2024
|Colloquium on Passenger Information (Train and Trackside)
TIBKAT | 1991
|