Pages that link to "Item:Q5172578"
From MaRDI portal
The following pages link to Decomposition of timed automata for solving scheduling problems (Q5172578):
Displaying 9 items.
- Analysis of the temporal decomposition procedure for scheduling with release and due dates (Q1303726) (← links)
- Decomposition schemes for synthesis of scheduling strategies in scalable systems (Q1946367) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
- Analysis of scheduling behaviour using generic timed automata (Q2703749) (← links)
- Hybrid multi-objective optimisation for concurrent activities consolidating two docked spacecraft (Q2792228) (← links)
- Solving the time varying postman problems with timed automata (Q3458818) (← links)
- (Q4818742) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717502) (← links)