TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  | 

|    

Kompetenzzentrum Tool Support - Kooperationen

Validas Model Validation AG
A provider of tools and services for the development of embedded systems with focus on high reliability in safety and security. Examples are electronic payment systems or mission-critical controller systems in automotive and aerospace applications.

BSI
Bundesamt für Sicherheit in der Informationstechnik

DFKI
German Research Center for Artificial Intelligence GmbH

Institute for Information Technology in Mechanical Engineering
Prof. Dr.-Ing. Klaus Bender, Technische Universität München

Lehrstuhl für Softwaretechnik und Programmiersprachen
Prof. Dr. Wolfgang Reif, Universität Augsburg

Institute for Software Technology, Department of Computer Science
Prof. Dr. Andy Schürr, University of the German Federal Armed Forces, Munich