System-level verification of multi-core embedded systems using timed automata

Jan Madsen, Michael Reichhardt Hansen, Kristian S. Knudsen, Jens E. Nielsen, Aske Wiid Brekling

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	17th World Congress International Federation of Automatic Control
Publisher	International Federation of Automatic Control
Publication date	2008
Pages	9302-9307
Publication status	Published - 2008
Event	17th World Congress International Federation of Automatic Control - Seoul, Korea, Republic of Duration: 6 Jul 2008 → 11 Jul 2008 Conference number: 17

Conference	17th World Congress International Federation of Automatic Control
Number	17
Country/Territory	Korea, Republic of
City	Seoul
Period	06/07/2008 → 11/07/2008

OpenUrl availability

@inproceedings{cabb7a2cd664493f946569092eba129f,

title = "System-level verification of multi-core embedded systems using timed automata",

author = "Jan Madsen and Hansen, \{Michael Reichhardt\} and Knudsen, \{Kristian S.\} and Nielsen, \{Jens E.\} and Brekling, \{Aske Wiid\}",

year = "2008",

language = "English",

pages = "9302--9307",

booktitle = "17th World Congress International Federation of Automatic Control",

publisher = "International Federation of Automatic Control",

note = "17th World Congress International Federation of Automatic Control ; Conference date: 06-07-2008 Through 11-07-2008",

}

Madsen, J , Hansen, MR, Knudsen, KS, Nielsen, JE & Brekling, AW 2008, System-level verification of multi-core embedded systems using timed automata. in 17th World Congress International Federation of Automatic Control. International Federation of Automatic Control, pp. 9302-9307, 17th World Congress International Federation of Automatic Control, Seoul, Korea, Republic of, 06/07/2008.

System-level verification of multi-core embedded systems using timed automata. / Madsen, Jan ; Hansen, Michael Reichhardt; Knudsen, Kristian S. et al.
17th World Congress International Federation of Automatic Control. International Federation of Automatic Control, 2008. p. 9302-9307.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - System-level verification of multi-core embedded systems using timed automata

AU - Madsen, Jan

AU - Hansen, Michael Reichhardt

AU - Knudsen, Kristian S.

AU - Nielsen, Jens E.

AU - Brekling, Aske Wiid

N1 - Conference code: 17

PY - 2008

Y1 - 2008

M3 - Article in proceedings

SP - 9302

EP - 9307

BT - 17th World Congress International Federation of Automatic Control

PB - International Federation of Automatic Control

T2 - 17th World Congress International Federation of Automatic Control

Y2 - 6 July 2008 through 11 July 2008

ER -