The following pages link to (Q4472228):
Displayed 5 items.
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- Scheduling with timed automata (Q2368955) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Formal verification of multitasking applications based on timed automata model (Q2475307) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)