Pages that link to "Item:Q2403815"
From MaRDI portal
The following pages link to A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815):
Displaying 3 items.
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (Q764283) (← links)
- Maintaining temporal validity of real-time data in component-based systems (Q2097438) (← links)
- Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems (Q2481602) (← links)