Statistical and exact schedulability analysis of hierarchical scheduling systems

Research output: Contribution to journalJournal articleResearchpeer-review

Details

Original languageEnglish
JournalScience of Computer Programming
Volume127
Pages (from-to)103-130
Number of pages28
ISSN0167-6423
DOI
StatePublished - 27 May 2016
Publication categoryResearch
Peer-reviewedYes

    Research areas

  • Statistical model checking

Download statistics

No data available
ID: 234317328