The following pages link to Updatable timed automata (Q1885906):
Displayed 8 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- Improved undecidability results on weighted timed automata (Q844195) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- Updatable Timed Automata with Additive and Diagonal Constraints (Q3507456) (← links)
- MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS (Q4902881) (← links)