Pages that link to "Item:Q3172848"
From MaRDI portal
The following pages link to Robust Specification of Real Time Components (Q3172848):
Displaying 5 items.
- Robust synthesis for real-time systems (Q386617) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
