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 metadatas
https://hal.telecom-paris.fr/hal-02364487
Contributor : Tullio Tanzi <>
Submitted on : Friday, November 15, 2019 - 8:07:40 AM
Last modification on : Wednesday, September 30, 2020 - 8:54:15 AM

Identifiers

  • HAL Id : hal-02364487, version 1

Collections

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

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

Share

Metrics

Record views

20