Pages that link to "Item:Q5265904"
From MaRDI portal
The following pages link to Control and synthesis of non-interferent timed systems (Q5265904):
Displaying 10 items.
- The complexity of synchronous notions of information flow security (Q278742) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
- Non-interference control synthesis for security timed automata (Q2864391) (← links)
- Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)
- Synthesis of Non-Interferent Timed Systems (Q3648818) (← links)
- Real-Time Control of Dense-Time Systems Using Digital-Clocks (Q4978928) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)
- Non-interference assessment in colored net systems via integer linear programming (Q6193462) (← links)
- Timed non-interference under partial observability and bounded memory (Q6536433) (← links)