Integration of B activity into a global ...

Document type :
Communication dans un congrès avec actes
Title :
Integration of B activity into a global design process of critical software
Author(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]
Conference title :
Transport Research Arena Europe 2012
City :
Athens
Country :
Grèce
Start date of the conference :
2012-04
Book title :
Proceeding of TRA2012
Publication date :
2012
HAL domain(s) :
Sciences de l'ingénieur [physics]/Automatique / Robotique
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL