systems safety,control system,formal methods,RATP,Bonvoisin,Paris Archives - International Railway Safety Council

RATP operates one of the most important multimodal transportation networks in the world. When the first software-based train control system…

Copy of presentation delivered Wednesday 5 October 2016, Paris