Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-grenoble-alpes.fr/hal-02004414
Contributeur : Yves Ledru <>
Soumis le : vendredi 1 février 2019 - 17:18:02
Dernière modification le : mercredi 5 août 2020 - 03:01:53

Identifiants

  • 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⟩

Partager

Métriques

Consultations de la notice

101