Pages that link to "Item:Q1891141"
From MaRDI portal
The following pages link to Timing verification by successive approximation (Q1891141):
Displaying 11 items.
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- Solving games via three-valued abstraction refinement (Q979079) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- An iterative approach to verification of real-time systems (Q1346652) (← links)
- Counterexample-guided predicate abstraction of hybrid systems (Q2368954) (← links)
- Refinement preserving approximations for the design and verification of heterogeneous systems (Q2642667) (← links)
- Verification of Asynchronous Circuits using Timed Automata (Q2842571) (← links)
- Transfer of Model Checking to Industrial Practice (Q3176381) (← links)
- An Inverse Method for Parametric Timed Automata (Q4982084) (← links)
- Fast timing-based algorithms (Q5137323) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
