Formal methode for safe and Verification of RailWay Signaling Sustems - Télécom Paris Access content directly
Conference Papers Year : 2017

Formal methode for safe and Verification of RailWay Signaling Sustems

No file

Dates and versions

hal-02412316 , version 1 (15-12-2019)

Identifiers

  • HAL Id : hal-02412316 , version 1

Cite

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⟩
29 View
0 Download

Share

Gmail Facebook X LinkedIn More