Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (Q1686857): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q692378
Property / author
 
Property / author: João Carlos Basilio / rank
Normal rank
 

Revision as of 06:45, 20 February 2024

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