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 metadata

https://hal.telecom-paris.fr/hal-02412315
Contributor : Telecomparis Hal <>
Submitted on : Sunday, December 15, 2019 - 12:56:55 PM
Last modification on : Tuesday, September 21, 2021 - 2:16:04 PM

Formal Methods for Safe Design and Verification of Transportation Systems

Identifiers

Collections

Citation

Export

Metrics

28

Formal Methods for Safe Design and Verification of Transportation Systems

Identifiers

Collections

Citation

Export

Share

Metrics

28