A model-checking approach for checking the ...
Type de document :
Communication dans un congrès avec actes
Titre :
A model-checking approach for checking the Consistency of a set of Causal Temporal Signatures
Auteur(s) :
Saddem, Ramla [Auteur]
Systèmes Tolérants aux Fautes [STF]
Toguyeni, Armand [Auteur correspondant]
Systèmes Tolérants aux Fautes [STF]
Tagina, Moncef [Auteur]
Stratégies d’Optimisation et Informatique intelligentE [SOIE]
Systèmes Tolérants aux Fautes [STF]
Toguyeni, Armand [Auteur correspondant]
Systèmes Tolérants aux Fautes [STF]
Tagina, Moncef [Auteur]
Stratégies d’Optimisation et Informatique intelligentE [SOIE]
Titre de la manifestation scientifique :
9th European Workshop on Advanced Control and Diagnosis
Ville :
Budapest
Pays :
Hongrie
Date de début de la manifestation scientifique :
2011-11-17
Titre de l’ouvrage :
Proceeding of ACD-2011
Date de publication :
2011-11-17
Discipline(s) HAL :
Informatique [cs]/Automatique
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :