Formal methods to tailored solution for single track low traffic french lines - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Formal methods to tailored solution for single track low traffic french lines

Domaines

Informatique [cs]

Sébastien LEFEBVRE  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04663837

Soumis le : lundi 29 juillet 2024-13:43:40

Dernière modification le : vendredi 6 décembre 2024-03:26:51

Fichier non déposé

Dates et versions

hal-04663837 , version 1 (29-07-2024)

Identifiants

  • HAL Id : hal-04663837 , version 1

Citer

Rahma Ben Ayed, Simon Collart-Dutilleul, Etienne Prun. Formal methods to tailored solution for single track low traffic french lines. International Railway Safety Council (IRSC 2016), Oct 2016, Paris, France. ⟨hal-04663837⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFSTTAR ANR UNIV-EIFFEL IRT-RAILENIUM
20 Consultations
0 Téléchargements

Partager

More