Concepedia
Statistics
Publications
1
Citations
68
H-Index
Active since
2010
Martin Toft is an author specializing in timing analysis, program verification, and static worst-case execution time analysis.
Publications per year
2010–2010
METAMOC: Modular Execution Time Analysis using Model Checking
Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 68 citations · Full text
Engineering, Computer Engineering, Computer Science +17
1–1 of 1