The following pages link to (Q4551179):
Displaying 16 items.
- Timed discrete event control of parallel production lines with continuous outputs (Q939012) (← links)
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- Temporal constraint satisfaction techniques in job shop scheduling problem solving (Q1273470) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Timed automata relaxation for reachability (Q2044206) (← 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)
- A partial order semantics approach to the clock explosion problem of timed automata (Q2575733) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← links)
- Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* (Q5025034) (← links)
- (Q5101345) (← links)
- (Q5692629) (← links)
- Monte Carlo tree search for priced timed automata (Q6160783) (← links)