Abderraouf Boussif, Mohamed Ghazel. Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. In Mohamed Ghazel, Mohamed Jmaiel, editors, Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. Volume 1689 of CEUR Workshop Proceedings, pages 93-104, CEUR-WS.org, 2016. [doi]
@inproceedings{BoussifG16,
title = {Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study},
author = {Abderraouf Boussif and Mohamed Ghazel},
year = {2016},
url = {http://ceur-ws.org/Vol-1689/paper8.pdf},
researchr = {https://researchr.org/publication/BoussifG16},
cites = {0},
citedby = {0},
pages = {93-104},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016},
editor = {Mohamed Ghazel and Mohamed Jmaiel},
volume = {1689},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}