Pages that link to "Item:Q1889766"
From MaRDI portal
The following pages link to Timed automata with urgent transitions (Q1889766):
Displaying 4 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Model-checking timed automata with deadlines with Uppaal (Q1941900) (← links)
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)