On-the-fly diagnosability analysis of LPN using verifier nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

On-the-fly diagnosability analysis of LPN using verifier nets

Domaines

Automatique
Fichier non déposé

Dates et versions

hal-01740398 , version 1 (21-03-2018)

Identifiants

Citer

Ben Li, Manel Khlif-Bouassida, Armand Toguyéni. On-the-fly diagnosability analysis of LPN using verifier nets. 2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol), Sep 2016, Barcelona, France. ⟨10.1109/SYSTOL.2016.7739768⟩. ⟨hal-01740398⟩
42 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More