Pages that link to "Item:Q2407182"

The following pages link to A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182):

Displaying 2 items.

• \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
• Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)