A Set of Design-oriented Scientific Tools ...

Type de document :
Communication dans un congrès avec actes
Titre :
A Set of Design-oriented Scientific Tools to Assist Abstract B Machine Specification
Auteur(s) :
Collart-Dutilleul, Simon [Auteur]
Systèmes Tolérants aux Fautes [STF]
Bon, Philippe [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [INRETS/ESTAS]
Petit, Dorian [Auteur]
Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201 [LAMIH]
Titre de la manifestation scientifique :
LINDI 2011
Ville :
Budapest
Pays :
Hongrie
Date de début de la manifestation scientifique :
2011
Titre de l’ouvrage :
Proceedings of 3rd IEEE International Symposium on Logistics and Industrial Informatics
Date de publication :
2011
Discipline(s) HAL :
Sciences de l'ingénieur [physics]/Automatique / Robotique
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL