Pages that link to "Item:Q453510"
From MaRDI portal
The following pages link to Synthesis of opaque systems with static and dynamic masks (Q453510):
Displaying 6 items.
- Probabilistic opacity for Markov decision processes (Q458386) (← links)
- Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← links)
- Verification of opacity and diagnosability for pushdown systems (Q2375627) (← links)
