Fault Diagnosis Using Timed Automata.

Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza

Browse the full FOSSACS paper archive.