PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling

From MaRDI portal
(Redirected from Publication:764283)