Schedulability Analysis Using Uppaal: Herschel-Planck Case Study

Marius Mikucionis; Kim Guldstrand Larsen; Brian Nielsen; Jacob Illum Rasmussen; Arne Skou; Steen Ulrik Palm; Jan Storbank  Pedersen; Poul Hougaard

doi:10.1007/978-3-642-16561-0_21

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study

Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen, Jacob Illum Rasmussen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

37 Citationer (Scopus)

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	6416
Udgave nummer	2010
Sider (fra-til)	175-190
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-16561-0_21
Status	Udgivet - okt. 2010

Adgang til dokumentet

10.1007/978-3-642-16561-0_21

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@article{eb05ee2bdb694e8d9ee602cd6e060b1c,

title = "Schedulability Analysis Using Uppaal: Herschel-Planck Case Study",

author = "Marius Mikucionis and Larsen, {Kim Guldstrand} and Brian Nielsen and Rasmussen, {Jacob Illum} and Arne Skou and Palm, {Steen Ulrik} and Pedersen, {Jan Storbank} and Poul Hougaard",

year = "2010",

month = oct,

doi = "10.1007/978-3-642-16561-0_21",

language = "English",

volume = "6416",

pages = "175--190",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

number = "2010",

}

TY - JOUR

T1 - Schedulability Analysis Using Uppaal: Herschel-Planck Case Study

AU - Mikucionis, Marius

AU - Larsen, Kim Guldstrand

AU - Nielsen, Brian

AU - Rasmussen, Jacob Illum

AU - Skou, Arne

AU - Palm, Steen Ulrik

AU - Pedersen, Jan Storbank

AU - Hougaard, Poul

PY - 2010/10

Y1 - 2010/10

U2 - 10.1007/978-3-642-16561-0_21

DO - 10.1007/978-3-642-16561-0_21

M3 - Journal article

SN - 0302-9743

VL - 6416

SP - 175

EP - 190

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

IS - 2010

ER -