"GESTION DU TRAFIC"@fr . "Antoine Ferlin" . "PROBABILITE DE DEFAILLANCE"@fr . . "fea550c65116f0884d73e0a6552a7faa" . "AUTOMATISATION"@fr . "TRANSPORT FERROVIAIRE"@fr . "RAILWAY/ERTMS"@en . "Ferlin" . "LOGIQUE"@fr . "SIMULATION"@fr . "ANALYSE DU RISQUE"@fr . "EXPERIMENTS"@en . "HUMAN ERROR PROBABILITY"@en . "ERREUR HUMAINE"@fr . . "STATISTICAL BUCHI AUTOMATON"@en . "SYSTEME LINEAIRE"@fr . . "Antoine" . "FIABILITE"@fr . "LINEAR TEMPORAL LOGIC LTL"@en . "HUMAN RELIABILITY ANALYSIS"@en .