Skip to Main content Skip to Navigation
Conference papers

Formal Methods for Safe Design and Verification of Transportation Systems

Lilia Belabed 1, 2 Tullio J. 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 metadatas

https://hal.telecom-paris.fr/hal-02412315
Contributor : Telecomparis Hal <>
Submitted on : Sunday, December 15, 2019 - 12:56:55 PM
Last modification on : Friday, July 31, 2020 - 11:28:04 AM

Identifiers

  • HAL Id : hal-02412315, version 1

Citation

Lilia Belabed, Tullio J. 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

12