METAMOC; Modular Execution Time Analysis using Model Checking

Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, Rene Rydhof Hansen, Kim Guldstrand Larsen

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

48 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010)
Publikationsdato	2010
Status	Udgivet - 2010

AUB Link

@inproceedings{c87b6d97d6a247e8bd4b24b7806f2371,

title = "METAMOC; Modular Execution Time Analysis using Model Checking",

author = "Dalsgaard, {Andreas Engelbredt} and Olesen, {Mads Chr.} and Martin Toft and Hansen, {Rene Rydhof} and Larsen, {Kim Guldstrand}",

year = "2010",

language = "English",

booktitle = "Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010)",

}