Pages that link to "Item:Q5897958"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897958):
Displayed 12 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- On regions and zones for event-clock automata (Q487253) (← links)
- Fast zone-based algorithms for reachability in pushdown timed automata (Q832208) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Configurable verification of timed automata with discrete variables (Q2120808) (← links)
- Bounded Determinization of Timed Automata with Silent Transitions (Q2945604) (← links)
- Exact Incremental Analysis of Timed Automata with an SMT-Solver (Q3172851) (← links)
- (Q5009444) (← links)
- A menagerie of timed automata (Q5176174) (← links)