Verification, performance analysis and controller synthesis for real-time systems

Uli Fahrenberg, Kim Guldstrand Larsen, Claus Rørbæk Thrane

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	5961
Sider (fra-til)	34-61
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-11623-0_2
Status	Udgivet - 2010

Adgang til dokumentet

@inproceedings{6777a8f70eaa4f948c2b6cea746f3156,

title = "Verification, performance analysis and controller synthesis for real-time systems",

author = "Uli Fahrenberg and Larsen, {Kim Guldstrand} and Thrane, {Claus R{\o}rb{\ae}k}",

year = "2010",

doi = "10.1007/978-3-642-11623-0_2",

language = "English",

volume = "5961",

pages = "34--61",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - GEN

T1 - Verification, performance analysis and controller synthesis for real-time systems

AU - Fahrenberg, Uli

AU - Larsen, Kim Guldstrand

AU - Thrane, Claus Rørbæk

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-11623-0_2

DO - 10.1007/978-3-642-11623-0_2

M3 - Conference article in Journal

SN - 0302-9743

VL - 5961

SP - 34

EP - 61

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -