The following pages link to (Q4472228):
Displaying 11 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- State-based scheduling with tree schedules: analysis and evaluation (Q438213) (← links)
- Graph-based models for real-time workload: a survey (Q497995) (← links)
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (Q764283) (← links)
- Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
- 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)
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815) (← links)
- Formal verification of multitasking applications based on timed automata model (Q2475307) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
