Pages that link to "Item:Q2053901"
From MaRDI portal
The following pages link to Opacity of networked discrete event systems (Q2053901):
Displaying 4 items.
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
- Non-interference assessment in colored net systems via integer linear programming (Q6193462) (← links)
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations (Q6594952) (← links)
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems (Q6645045) (← links)
