HOMECONTACT
 
NEWS
OVERVIEW
CALL FOR PROPOSALS
PROGRAM PROPOSAL
PROJECTS
EVENTS
SCIENTIFIC BOARD
LITERATURE
INTERNAL SPP 1183
TOOLS
SCIENTIFIC BOARD

Prof. Dr. Hartmut Schmeck (Coordinator)
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Karlsruhe Institute of Technology (KIT)


Prof. Dr.-Ing. Christian Müller-Schloer
Institut für Systems Engineering - System- und RechnerArchitektur (SRA)
Leibniz Universität Hannover


Prof. Dr. Theo Ungerer
Institut für Informatik
Universität Augsburg
UNI KA THIMPRINT© AIFB DFG
Last update on: 2013-01-21 PRINTPRINTTOP