Mixed Criticality Scheduling of Probabilistic Real-Time Systems

Publication
Dependable Software Engineering. Theories, Tools, and Applications