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
2 COMELEC - Département Communications & Electronique
Keywords : Formal Methods Transport Safety
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

Collections

INSTITUT-TELECOM | PARISTECH | UNIV-PARIS-SACLAY | LTCI | COMELEC | LABSOC

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

21