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


  • HAL Id : hal-02364487, version 1


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⟩



Les métriques sont temporairement indisponibles