Pages that link to "Item:Q2375627"
From MaRDI portal
The following pages link to Verification of opacity and diagnosability for pushdown systems (Q2375627):
Displayed 3 items.
- Opacity of networked discrete event systems (Q2053901) (← links)
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)