Mixed criticality scheduling of probabilistic real-time systems

From MaRDI portal
Publication:6535914