Pages that link to "Item:Q3588093"
From MaRDI portal
The following pages link to A Process Algebraic Framework for Modeling Resource Demand and Supply (Q3588093):
Displaying 3 items.
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (Q764283) (← links)
- Primitives for resource management in a demand-driven reduction model (Q1819923) (← links)
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815) (← links)