D Paquereau,
L Pietrac, E Niel… - MSR 2013-Modélisation …, 2013 - inria.hal.science
Le système ATS de contrôle automatique des trains supervise la gestion de lignes de métro
mais de nombreux incidents perturbent leur bon fonctionnement. L'objectif de l'étude est …