Formal methode for safe and Verification of RailWay Signaling Sustems

Lilia Belabed 1, 2 Tullio J. 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 metadatas

https://hal.telecom-paristech.fr/hal-02412316
Contributor : Telecomparis Hal <>
Submitted on : Sunday, December 15, 2019 - 12:56:58 PM
Last modification on : Friday, December 20, 2019 - 2:42:02 PM

Identifiers

  • HAL Id : hal-02412316, version 1

Citation

Lilia Belabed, Tullio J. 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

Record views

5