LURPA > Manifestations > Sûreté de Fonctionnement
19/09/2014 : deux exposés : Formalisation des systèmes de contrôles d'aiguillage / Architecture système et sûreté de fonctionnement
le 19 septembre 2014
14h - Formalisation des systèmes de contrôles d'aiguillage - Marc Antoni et Nassim Moussi (SNCF) 15h - Architecture système et sûreté de fonctionnement - Agnès Lanusse (CEA LIST)
Exposé 1 (14h)
Exposé 2 (15h)
- Titre : Formalisation des systèmes de contrôles d'aiguillage
- Intervenant : Marc Antoni et Nassim Moussi (SNCF)
Exposé 2 (15h)
- Titre : Architecture système et sûreté de fonctionnement
- Intervenant : Agnès Lanusse (CEA LIST)
- Type :
- Séminaires - conférences
- Lieu(x) :
- Ecole Centrale de Paris
Salle D401 du LGI