Pages that link to "Item:Q5033877"
From MaRDI portal
The following pages link to Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems (Q5033877):
Displaying 5 items.
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Probabilistic system opacity in discrete event systems (Q1788695) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems (Q6174049) (← links)
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)