Pages that link to "Item:Q5265904"
From MaRDI portal
The following pages link to Control and synthesis of non-interferent timed systems (Q5265904):
Displayed 4 items.
- The complexity of synchronous notions of information flow security (Q278742) (← links)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
- Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)
- Non-interference assessment in colored net systems via integer linear programming (Q6193462) (← links)