On-the-fly diagnosability analysis of LPN ...
Type de document :
Autre communication scientifique (congrès sans actes - poster - séminaire...): Communication dans un congrès avec actes
Titre :
On-the-fly diagnosability analysis of LPN using verifier nets
Auteur(s) :
Li, Ben [Auteur]
PRES Université Lille Nord de France
KHLIF-BOUASSIDA, Manel [Auteur]
PRES Université Lille Nord de France
Toguyéni, Armand [Auteur]
PRES Université Lille Nord de France
PRES Université Lille Nord de France
KHLIF-BOUASSIDA, Manel [Auteur]
PRES Université Lille Nord de France
Toguyéni, Armand [Auteur]
PRES Université Lille Nord de France
Titre de la manifestation scientifique :
2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol)
Ville :
Barcelona
Pays :
France
Date de début de la manifestation scientifique :
2016-09-07
Éditeur :
IEEE
Discipline(s) HAL :
Informatique [cs]/Automatique
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :