Formal Methods for Safe Design and Verification of Transportation Systems - Télécom Paris Access content directly
Conference Papers Year : 2017

Formal Methods for Safe Design and Verification of Transportation Systems

Not file

Dates and versions

hal-02412315 , version 1 (15-12-2019)

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⟩
22 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More