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 proceedingKonferenceartikel i proceedingForskningpeer review

46 Citationer (Scopus)
OriginalsprogEngelsk
TitelProceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010)
Publikationsdato2010
StatusUdgivet - 2010

Citationsformater