Specification and verification of the model ...
Type de document :
Compte-rendu et recension critique d'ouvrage
Titre :
Specification and verification of the model of component and the model of function
Auteur(s) :
Hamani, Nadia [Auteur]
Dangoumau, Nathalie [Auteur]
Systèmes Tolérants aux Fautes [STF]
Craye, Etienne [Auteur]
Systèmes Tolérants aux Fautes [STF]
Dangoumau, Nathalie [Auteur]
Systèmes Tolérants aux Fautes [STF]
Craye, Etienne [Auteur]
Systèmes Tolérants aux Fautes [STF]
Titre de la revue :
Studies in Informatics and Control
Pagination :
27-42
Éditeur :
Informatics and Control Publications
Date de publication :
2008
ISSN :
1220-1766
Discipline(s) HAL :
Sciences de l'ingénieur [physics]/Automatique / Robotique
Langue :
Anglais
Vulgarisation :
Non
Collections :
Source :