Skip to Main content Skip to Navigation
Conference papers

Formal Methods for Safe Design and Verification of Transportation Systems

Lilia Belabed 1, 2 Tullio Tanzi 1, 2 Sophie Coudert 1, 2 Dominique Legros 
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
Document type :
Conference papers
Complete list of metadata

https://hal.telecom-paris.fr/hal-02412315
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Sunday, December 15, 2019 - 12:56:55 PM
Last modification on : Thursday, December 30, 2021 - 4:42:02 PM

Identifiers

  • HAL Id : hal-02412315, version 1

Citation

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⟩

Share

Metrics

Record views

21