Specification and verification of the model ...

Document type :
Compte-rendu et recension critique d'ouvrage
Title :
Specification and verification of the model of component and the model of function
Author(s) :
Hamani, Nadia [Auteur]
Dangoumau, Nathalie [Auteur]
Systèmes Tolérants aux Fautes [STF]
Craye, Etienne [Auteur]
Systèmes Tolérants aux Fautes [STF]
Journal title :
Studies in Informatics and Control
Pages :
27-42
Publisher :
Informatics and Control Publications
Publication date :
2008
ISSN :
1220-1766
HAL domain(s) :
Sciences de l'ingénieur [physics]/Automatique / Robotique
Language :
Anglais
Popular science :
Non
Collections :
Source :
Harvested from HAL