On-the-fly diagnosability analysis of LPN using verifier nets - Archive ouverte HAL
Conference Papers Year : 2016

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

No file

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

More