Dr.-Ing. Mike Gemünde

was member of the group
from 09/2008 to 08/2013
left for
Continental AG, Frankfurt
research interests
design and development of embedded systems formal models and methods for HW/SW design new computational models synthesis and analysis of concurrent system descriptions
publications
all \| authored \| edited/supervised \| talks

Fachbereich Informatik