Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani. Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. In El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez 0001, editors, Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 11163 of Lecture Notes in Computer Science, pages 321-330, Springer, 2018. [doi]
Abstract is missing.