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)