Dynamic budget management and budget reclamation for mixed-criticality systems

From MaRDI portal
Publication:779455