Publications

Mixed Criticality Scheduling of Probabilistic Real-Time Systems

AuthID
P-00R-H93

Author(s)

Singh, J

Santinelli, L

Reghenzani, F

Bletsas, K

Doose, D

Guo, Z

Editor(s)

Guan,N;Katoen,J;Sun,J

Document Type

Proceedings Paper

Year published

2019

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 11951 LNCS, Pages: 89-105

Conference

5Th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, Setta 2019, Date: 27 November 2019 through 29 November 2019

Indexing