Dr.-Ing. Kerstin Bauer
- email
- k_bauer (at) cs.uni-kl.de
- was member of the group
- from 07/2009 to 07/2013
- left for
- Helmholtz-Gymnasium Heidelberg
- research interests
-
modeling languages for hybrid systems
hybrid system verification
- publications
-
all |
authored |
edited/supervised |
talks
|
|