Skip to Main content Skip to Navigation
Conference papers

Formal methode for safe and Verification of RailWay Signaling Sustems

Lilia Belabed 1, 2 Tullio Tanzi 1, 2 Sophie Coudert 1, 2
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
Document type :
Conference papers
Complete list of metadata

https://hal.telecom-paris.fr/hal-02412316
Contributor : Telecomparis Hal Connect in order to contact the contributor
Submitted on : Sunday, December 15, 2019 - 12:56:58 PM
Last modification on : Thursday, December 30, 2021 - 4:42:02 PM

Identifiers

  • HAL Id : hal-02412316, version 1

Citation

Lilia Belabed, Tullio Tanzi, Sophie Coudert. Formal methode for safe and Verification of RailWay Signaling Sustems. Conference on Information Technology in Disaster risk reduction (ITDRR 2017), Oct 2017, Sofia, Bulgaria. ⟨hal-02412316⟩

Share

Metrics

Les métriques sont temporairement indisponibles