Integration of B activity into a global ...
Type de document :
Communication dans un congrès avec actes
Titre :
Integration of B activity into a global design process of critical software
Auteur(s) :
Bon, Philippe [Auteur]
Évaluation des Systèmes de Transports Automatisés et leur Sécurité [INRETS/ESTAS]
Collart-Dutilleul, Simon [Auteur]
Systèmes Tolérants aux Fautes [STF]
Petit, Dorian [Auteur]
Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201 [LAMIH]
Évaluation des Systèmes de Transports Automatisés et leur Sécurité [INRETS/ESTAS]
Collart-Dutilleul, Simon [Auteur]
Systèmes Tolérants aux Fautes [STF]
Petit, Dorian [Auteur]
Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201 [LAMIH]
Titre de la manifestation scientifique :
Transport Research Arena Europe 2012
Ville :
Athens
Pays :
Grèce
Date de début de la manifestation scientifique :
2012-04
Titre de l’ouvrage :
Proceeding of TRA2012
Date de publication :
2012
Discipline(s) HAL :
Sciences de l'ingénieur [physics]/Automatique / Robotique
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :