Pages that link to "Item:Q2065174"
From MaRDI portal
The following pages link to Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174):
Displaying 4 items.
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)
- Verifying weak and strong \(k\)-step opacity in discrete-event systems (Q6165326) (← links)
