Skip to Main content Skip to Navigation
Book sections

Formal Method for RailWays Disasters prevention

Lilia Belabed 1, 2 Tullio Joseph Tanzi 1, 2 Sophie Coudert 1, 2 
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
2 COMELEC - Département Communications & Electronique
Document type :
Book sections
Complete list of metadata
https://hal.telecom-paris.fr/hal-02364487
Contributor : Tullio Tanzi Connect in order to contact the contributor
Submitted on : Friday, November 15, 2019 - 8:07:40 AM
Last modification on : Thursday, December 30, 2021 - 4:42:02 PM

Identifiers

  • HAL Id : hal-02364487, version 1

Collections

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

Citation

Lilia Belabed, Tullio Joseph Tanzi, Sophie Coudert. Formal Method for RailWays Disasters prevention. Murayama Y., Velev D., Zlateva P. (eds). Information Technology in Disaster Risk Reduction. ITDRR 2017. IFIP Advances in Information and Communication Technology, 516, Springer, pp.161-170, 2019. ⟨hal-02364487⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

21