Pages that link to "Item:Q2703749"
From MaRDI portal
The following pages link to Analysis of scheduling behaviour using generic timed automata (Q2703749):
Displaying 6 items.
- State-based scheduling with tree schedules: analysis and evaluation (Q438213) (← links)
- A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs (Q779456) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- On the dynamic semantics and the timing behavior of Ravenscar kernels (Q1780180) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- An analysis method for variable execution time tasks based on histograms (Q2475305) (← links)