Anomaly Detection for Vision-Based Railway Inspection

von Gasparini, Riccardo
Veröffentlicht in EDCC (16. : 2020 : München) Dependable computing - EDCC 2020 Workshops (2020)

Formal Design and Validation of an Automatic Train Operation Control System

von Amendola, Arturo
Veröffentlicht in RSSRAIL (4. : 2022 : Paris) Reliability, safety, and security of railway systems (2022)