Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study.
['Abderraouf Boussif', 'Mohamed Ghazel']
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study.