The following pages link to (Q5009444):
Displaying 9 items.
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Configurable verification of timed automata with discrete variables (Q2120808) (← links)
- Reachability relations of timed pushdown automata (Q2221811) (← links)
- (Q5089309) (← links)
- (Q5094137) (← links)
- (Q5472953) (← links)
- Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints (Q5500564) (← links)
- A unified model for real-time systems: symbolic techniques and implementation (Q6535636) (← links)
- Simulations for event-clock automata (Q6597952) (← links)