%0 Conference Paper %F Oral %T Formal Methods for Safe Design and Verification of Transportation Systems %+ System on Chip (LabSoC) %+ Département Communications & Electronique (COMELEC) %A Belabed, Lilia %A Tanzi, Tullio %A Coudert, Sophie %A Legros, Dominique %< avec comité de lecture %Z TjT:HFACSD2017 %3 1st Summer School Human Factors Aspects of Cooperative Systems Design %B 1st Summer School Human Factors Aspects of Cooperative Systems Design %C Sophia Antipolis, France %8 2017-07 %D 2017 %K Formal Methods %K Transport %K Safety %Z Computer Science [cs]/Software Engineering [cs.SE]Conference papers %G English %L hal-02412315 %U https://telecom-paris.hal.science/hal-02412315 %~ INSTITUT-TELECOM %~ ENST %~ TELECOM-PARISTECH %~ PARISTECH %~ UNIV-PARIS-SACLAY %~ TELECOM-PARISTECH-SACLAY %~ LTCI %~ COMELEC %~ LABSOC %~ INSTITUTS-TELECOM