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
Document type :
Book sections
Complete list of metadatas

https://hal.telecom-paristech.fr/hal-02364487
Contributor : Tullio Tanzi <>
Submitted on : Friday, November 15, 2019 - 8:07:40 AM
Last modification on : Wednesday, January 8, 2020 - 1:35:32 AM

Identifiers

  • HAL Id : hal-02364487, version 1

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⟩

Share

Metrics

Record views

10