Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study.

Abderraouf Boussif, Mohamed Ghazel

Browse the full VECoS paper archive.