The following pages link to (Q4472261):
Displaying 10 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Graph-based models for real-time workload: a survey (Q497995) (← links)
- Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Resources in process algebra (Q2373652) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- From Safety Critical Java Programs to Timed Process Models (Q3460876) (← links)