Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems
Year: 2018
Type: conference-paper
Institutions: Aarhus University, University of Pennsylvania, Aalborg University
Language: English
Topic: Real-Time Systems Scheduling
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2864113223