![](/img/cover-not-exists.png)
[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, FrantisekYear:
2006
Language:
english
DOI:
10.1109/CESA.2006.4281777
File:
PDF, 2.53 MB
english, 2006