Intermittent fault diagnosis of industrial systems in a model-checking framework

Abderraouf Boussif, Mohamed Ghazel. Intermittent fault diagnosis of industrial systems in a model-checking framework. In IEEE International Conference on Prognostics and Health Management, ICPHM 2016, Ottawa, ON, Canada, June 20-22, 2016. pages 1-6, IEEE, 2016. [doi]

Authors

Abderraouf Boussif

This author has not been identified. Look up 'Abderraouf Boussif' in Google

Mohamed Ghazel

This author has not been identified. Look up 'Mohamed Ghazel' in Google