Search: (more)
Header

Dr.-Ing. Mike Gemünde

email
gemuende (at) cs.uni-kl.de
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