Fault Diagnosis for Timed Automata (Q5392291)
From MaRDI portal
scientific article; zbMATH DE number 5876517
Language | Label | Description | Also known as |
---|---|---|---|
English | Fault Diagnosis for Timed Automata |
scientific article; zbMATH DE number 5876517 |
Statements
Fault Diagnosis for Timed Automata (English)
0 references
8 April 2011
0 references
fault diagnosis
0 references
partial observability
0 references
timed automata
0 references