Pages that link to "Item:Q5211196"
From MaRDI portal
The following pages link to Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions (Q5211196):
Displayed 8 items.
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Performance safety enforcement in strongly connected timed event graphs (Q2021327) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← links)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- Discrete-event systems subject to unknown sensor attacks (Q2128094) (← links)
- Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315) (← links)