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

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

Domaines

Génie logiciel [cs.SE]

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

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS LIG LIG_GLSI_VASCO IFSTTAR LIG_SIDCH UNIV-EIFFEL IRT-RAILENIUM
147 Consultations
0 Téléchargements

Partager

More