The following pages link to Interrupt Timed Automata (Q3617730):
Displaying 6 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Revisiting reachability in polynomial interrupt timed automata (Q2059890) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
