Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B - Université Grenoble Alpes
Communication Dans Un Congrès Année : 2018
Fichier non déposé

Dates et versions

hal-02004414 , version 1 (01-02-2019)

Identifiants

  • HAL Id : hal-02004414 , version 1

Citer

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⟩
127 Consultations
0 Téléchargements

Partager

More