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

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

|    

Kompetenzzentrum Center Embedded Systems - Projekte

Bequest
Projekt Bequest

IMMA
Integrated Mathematical Machine Modeling

InTime


Mobasis
Projekt Mobasis

Verisoft Automotive
Projekt Verisoft Automotive

Korsys
The aim of project KorSys (Korrekte Systeme) is to improve the applicability of formal methods for the specification and verification of complex software systems in practice.

Quest
The project combines mathematical and graphical software development techniques for the development of correct embedded systems software. Quest is funded by the Bundesamt für Sicherheit im Informationswesen (BSI)