On-the-fly diagnosability analysis of LPN ...

Document type :
Autre communication scientifique (congrès sans actes - poster - séminaire...): Communication dans un congrès avec actes
DOI :
10.1109/SYSTOL.2016.7739768
Title :
On-the-fly diagnosability analysis of LPN using verifier nets
Author(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
Conference title :
2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol)
City :
Barcelona
Country :
France
Start date of the conference :
2016-09-07
Publisher :
IEEE
HAL domain(s) :
Informatique [cs]/Automatique
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL