Technische Universität München
Institut für Informatik
Boltzmannstr. 3
85748 Garching
Germany
Phone +49(89) 289 - 17384
Fax +49(89) 289 - 17307
Email leuxner 
in.tum.de
Room MI 00.11.057
Christian Leuxner
Dipl. Inf. Univ.
Research Interests
♦ specification and verification of reactive software systems
♦ formal methods and description techniques
♦ scenario-based design and process modeling
♦ model transformation and rewriting
♦ (past) mobility and context awareness
♦ specification and verification of reactive software systems
♦ formal methods and description techniques
♦ scenario-based design and process modeling
♦ model transformation and rewriting
♦ (past) mobility and context awareness