Pages that link to "Item:Q6135550"
From MaRDI portal
The following pages link to Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550):
Displaying 5 items.
- Verification of initial-state opacity in security applications of discrete event systems (Q497279) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- (Q5209327) (← links)
- Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← links)
- Opacity of discrete-event systems under nondeterministic observation mechanism (Q6580966) (← links)