Functioning mode management and formal ...
Document type :
Communication dans un congrès avec actes
Title :
Functioning mode management and formal assessment of safety
Author(s) :
Bon, Philippe [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [INRETS/ESTAS]
Collart-Dutilleul, Simon [Auteur]
Systèmes Tolérants aux Fautes [STF]
Defossez, François [Auteur]
Laboratoire d'Automatique, Génie Informatique et Signal [LAGIS]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [INRETS/ESTAS]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [INRETS/ESTAS]
Collart-Dutilleul, Simon [Auteur]
Systèmes Tolérants aux Fautes [STF]
Defossez, François [Auteur]
Laboratoire d'Automatique, Génie Informatique et Signal [LAGIS]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [INRETS/ESTAS]
Conference title :
LSS'2010
City :
Villeneuve d'Acsq
Country :
France
Start date of the conference :
2010-07
Book title :
Proceedings IFAC Symposium on Large Scale Systems: Theory and Applications
Publication date :
2010
HAL domain(s) :
Sciences de l'ingénieur [physics]/Automatique / Robotique
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :