Schedulability Analysis Using Uppaal: Herschel-Planck Case Study

Research output: Research - peer-reviewJournal article

Details

Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume6416
Issue number2010
Pages (from-to)175-190
ISSN0302-9743
DOI
StatePublished - Oct 2010
Publication categoryResearch
Peer-reviewedYes
ID: 36322896