Pages that link to "Item:Q3090823"
From MaRDI portal
The following pages link to Timed Automata Can Always Be Made Implementable (Q3090823):
Displaying 7 items.
- Robust synthesis for real-time systems (Q386617) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Shrinking timed automata (Q2637311) (← links)
- On Implementable Timed Automata (Q5041274) (← links)
