Pages that link to "Item:Q1399974"
From MaRDI portal
The following pages link to The power of reachability testing for timed automata (Q1399974):
Displayed 14 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- How to stop time stopping (Q855006) (← links)
- Model checking duration calculus: a practical approach (Q939170) (← links)
- Model-checking timed automata with deadlines with Uppaal (Q1941900) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)
- Checking Timed Büchi Automata Emptiness Using LU-Abstractions (Q3648834) (← links)
- Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* (Q5025034) (← links)
- Decomposition of timed automata for solving scheduling problems (Q5172578) (← links)
- An Introduction to Timed Automata (Q5496927) (← links)