The following pages link to (Q2743706):
Displayed 7 items.
- How to stop time stopping (Q855006) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Verifying untimed and timed aspects of the experimental batch plant (Q2512162) (← links)
- Predictable real-time software synthesis (Q2642542) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Discount-Optimal Infinite Runs in Priced Timed Automata (Q5179061) (← links)