Vol-1688⫷ Vol-1689 ⫸Vol-1690
urn:nbn:de:0074-1689-0


Vol-1689/paper7⫷Vol-1689/paper8⫸Vol-1689/paper9
Abderraouf BoussifMohamed Ghazel

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