
[IEEE Multiconference on "Computational Engineering in Systems Applications - Beijing, China (2006.10.4-2006.10.6)] The Proceedings of the Multiconference on "Computational Engineering in Systems Applications" - Fault diagnosis based on timed automata: Diagnoser verification
Knotek, Michal, Simeu-Abazi, Zineb, Zezulka, FrantisekAnnée:
2006
Langue:
english
DOI:
10.1109/CESA.2006.4281777
Fichier:
PDF, 2.53 MB
english, 2006