Travelled to:
1 × Germany
Collaborated with:
R.Ernst M.Jersak M.Bekooij S.Chakraborty
Talks about:
perform (1) optimis (1) analysi (1) system (1) method (1) formal (1)
Person: Hans Sarnowski
DBLP: Sarnowski:Hans
Contributed to:
Wrote 1 papers:
- DATE-2008-ErnstJSBC #analysis #formal method #optimisation #performance
- Formal Methods in System and MpSoC Performance Analysis and Optimisation (RE, MJ, HS, MB, SC).