The following pages link to (Q4472231):
Displayed 13 items.
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Metaheuristics for the multi-objective FJSP with sequence-dependent set-up times, auxiliary resources and machine down time (Q613775) (← links)
- Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm (Q2251369) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Optimal infinite scheduling for multi-priced timed automata (Q2475633) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- On the Supports of Recognizable Timed Series (Q3648835) (← links)
- Realtime Channel Recommendation: Switch Smartly While Watching TV (Q4632183) (← links)
- Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* (Q5025034) (← links)