The following pages link to (Q2766638):
Displaying 4 items.
- A project scheduling methodology derived as an analogue of digital circuit technology (Q1270591) (← links)
- Automatic synthesis of a subclass of schedulers in timed systems. (Q1874276) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)