Conference Papers
Year : 2017
TelecomParis HAL : Connect in order to contact the contributor
https://telecom-paris.hal.science/hal-02412315
Submitted on : Sunday, December 15, 2019-12:56:55 PM
Last modification on : Sunday, April 2, 2023-10:30:07 AM
Dates and versions
Identifiers
- HAL Id : hal-02412315 , version 1
Cite
Lilia Belabed, Tullio Tanzi, Sophie Coudert, Dominique Legros. Formal Methods for Safe Design and Verification of Transportation Systems. 1st Summer School Human Factors Aspects of Cooperative Systems Design, Jul 2017, Sophia Antipolis, France. ⟨hal-02412315⟩
Collections
22
View
0
Download