Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B

Document type :
Conference papers
Complete list of metadatas

http://hal.univ-grenoble-alpes.fr/hal-02004414
Contributor : Yves Ledru <>
Submitted on : Friday, February 1, 2019 - 5:18:02 PM
Last modification on : Thursday, February 21, 2019 - 11:02:55 AM

Identifiers

  • HAL Id : hal-02004414, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

34