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

Anna Philippou, Insup Lee, Oleg Sokolsky. PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Theoretical Computer Science, 413(1):2-20, 2012. [doi]

Abstract

Abstract is missing.