Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'' (Q2208612)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers''
scientific article

    Statements

    Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'' (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    3 November 2020
    0 references
    discrete event system
    0 references
    infinite-step opacity
    0 references
    \(K\)-step opacity
    0 references

    Identifiers