Conference Papers
Year : 2018
Yves Ledru : Connect in order to contact the contributor
https://hal.univ-grenoble-alpes.fr/hal-02004414
Submitted on : Friday, February 1, 2019-5:18:02 PM
Last modification on : Friday, March 24, 2023-2:53:09 PM
Dates and versions
Identifiers
- HAL Id : hal-02004414 , version 1
Cite
Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart-Dutilleul, Yves Ledru, Akram Idani. Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. Model and Data Engineering - 8th International Conference, (MEDI), Oct 2018, Marrakesh, Morocco. pp.321-330. ⟨hal-02004414⟩
Collections
103
View
0
Download