Statistical and exact schedulability analysis of hierarchical scheduling systems
Research output: Contribution to journal › Journal article › Research › peer-review
Details
Original language | English |
---|---|
Journal | Science of Computer Programming |
Volume | 127 |
Pages (from-to) | 103-130 |
Number of pages | 28 |
ISSN | 0167-6423 |
DOI | |
Publication status | Published - 27 May 2016 |
Publication category | Research |
Peer-reviewed | Yes |
- Statistical model checking