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
    0 references
    8 April 2011
    0 references
    fault diagnosis
    0 references
    partial observability
    0 references
    timed automata
    0 references

    Identifiers