Formal methode for safe and Verification of RailWay Signaling Sustems

Lilia Belabed; Tullio Tanzi; Sophie Coudert

Conference Papers Year : 2017

Formal methode for safe and Verification of RailWay Signaling Sustems

(1, 2) , (1, 2) , (1, 2)

1
2

Lilia Belabed

Function : Author

System on Chip

Département Communications & Electronique

Tullio Tanzi

Function : Author
PersonId : 1113061

System on Chip

Département Communications & Electronique

Sophie Coudert

Function : Author
PersonId : 1053469

System on Chip

Département Communications & Electronique

Keywords

Formal Methods Verification Transport

Domains

Computer Science [cs] Software Engineering [cs.SE]

TelecomParis HAL : Connect in order to contact the contributor

https://hal.telecom-paris.fr/hal-02412316

Submitted on : Sunday, December 15, 2019-12:56:58 PM

Last modification on : Tuesday, February 28, 2023-3:36:25 PM

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⟩

Formal methode for safe and Verification of RailWay Signaling Sustems

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share