Formal Methods for Safe Design and Verification of Transportation Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Formal Methods for Safe Design and Verification of Transportation Systems

Domains

Computer Science [cs] Software Engineering [cs.SE]

TelecomParis HAL  : Connect in order to contact the contributor

https://hal.telecom-paris.fr/hal-02412315

Submitted on : Sunday, December 15, 2019-12:56:55 PM

Last modification on : Tuesday, February 28, 2023-3:36:25 PM

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

INSTITUT-TELECOM PARISTECH UNIV-PARIS-SACLAY LTCI COMELEC LABSOC
22 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More