Christian Kühnel
Dipl.-Inform. Univ.


E-mail: kuehnelc "at" in.tum.de

Snail:
Christian Kühnel
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching
Germany
Phone: +49 (89) 289-17836
Fax: +49 (89) 289-17307
Room: 01.09.043
PGP public key: kuehnelc.asc



Fields of interest

Formal specification of distributed, reactive systems

Integration of models and development process

Modeling of oftware-component interfaces

Model-based systems development of embedded systems

Development of automotive software


Links

Publications
Project Verisoft