Une approche basée sur la séparation des préoccupations pour modéliser et vérifier les règles de signalisation d'un système ferroviaire - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Une approche basée sur la séparation des préoccupations pour modéliser et vérifier les règles de signalisation d'un système ferroviaire

Domaines

Informatique [cs]

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

https://hal.science/hal-04663674

Soumis le : lundi 29 juillet 2024-10:40:50

Dernière modification le : lundi 9 décembre 2024-03:38:53

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-04663674 , version 1

Citer

Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon. Une approche basée sur la séparation des préoccupations pour modéliser et vérifier les règles de signalisation d'un système ferroviaire. AFADL 2019 - 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. ⟨hal-04663674⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More