Communication Dans Un Congrès
Année : 2018
Yves Ledru : Connectez-vous pour contacter le contributeur
https://hal.univ-grenoble-alpes.fr/hal-02004414
Soumis le : vendredi 1 février 2019-17:18:02
Dernière modification le : jeudi 19 septembre 2024-03:20:59
Dates et versions
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⟩
Collections
127
Consultations
0
Téléchargements