Pages that link to "Item:Q2208612"
From MaRDI portal
The following pages link to Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'' (Q2208612):
Displaying 5 items.
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506) (← links)
- Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'''' (Q2663851) (← links)
- A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Verifying weak and strong \(k\)-step opacity in discrete-event systems (Q6165326) (← links)
