Formal Methods for Safe Design and Verification of Transportation Systems

Lilia Belabed; Tullio Tanzi; Sophie Coudert; Dominique Legros

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

Domain :

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

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 : Sunday, October 18, 2020 - 4:48:02 PM

Formal Methods for Safe Design and Verification of Transportation Systems

Identifiers

Collections

Citation

Export

Metrics

15

Formal Methods for Safe Design and Verification of Transportation Systems

Identifiers

Collections

Citation

Export

Share

Metrics

15