Abderraouf Boussif, Mohamed Ghazel. Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking. IJCCBS, 8(2):193-213, 2018. [doi]
@article{BoussifG18-0,
title = {Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking},
author = {Abderraouf Boussif and Mohamed Ghazel},
year = {2018},
doi = {10.1504/IJCCBS.2018.096192},
url = {https://doi.org/10.1504/IJCCBS.2018.096192},
researchr = {https://researchr.org/publication/BoussifG18-0},
cites = {0},
citedby = {0},
journal = {IJCCBS},
volume = {8},
number = {2},
pages = {193-213},
}