Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (Q1686857)

From MaRDI portal
Revision as of 00:53, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
scientific article

    Statements

    Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (English)
    0 references
    18 December 2017
    0 references
    discrete-event systems
    0 references
    automaton
    0 references
    language diagnosability verification
    0 references
    scientific computation
    0 references

    Identifiers