Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'''' (Q2663851): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'' / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach / rank | |||
Normal rank | |||
Latest revision as of 01:10, 25 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'''' |
scientific article |
Statements
Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'''' (English)
0 references
20 April 2021
0 references
0 references
0 references
