Pages that link to "Item:Q3510840"
From MaRDI portal
The following pages link to Dynamical Properties of Timed Automata Revisited (Q3510840):
Displayed 5 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Rigorous implementation of real-time systems – from theory to application (Q2843865) (← links)
- Robust Analysis of Timed Automata Via Channel Machines (Q5458357) (← links)