Copy of presentation delivered Wednesday 5 October 2016, Paris Tags:systems safety,control system,formal methods,RATP,Bonvoisin,Paris Year of Publication: 2016 Document: View
