Statistical and exact schedulability analysis of hierarchical scheduling systems

Publication: Research - peer-reviewJournal article

Details

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

    Keywords

  • Statistical model checking

Download statistics

No data available
ID: 234317328