Travelled to:
1 × Sweden
Collaborated with:
M.Pister
Talks about:
automat (1) analysi (1) model (1) deriv (1) wcet (1) time (1) semi (1)
Person: Marc Schlickling
DBLP: Schlickling:Marc
Contributed to:
Wrote 1 papers:
- LCTES-2010-SchlicklingP #analysis #automation #modelling
- Semi-automatic derivation of timing models for WCET analysis (MS, MP), pp. 67–76.