Projekte von Prof. Dr. Thomas Baar
Abgeschlossene Projekte
-
Formal verification of Safety-critical Cyber-Physical Systems modeled in an engineer-friendly notation (SCHU3174/3-1 BA 6655/1-1)
Projektleitung: Prof. Dr. Thomas Baar; Prof. Dr.-Ing. Horst Schulte
01.07.2018 - 30.06.2019 -
Entwicklung eines Werkzeugs zur Versionierung und Kommentierung graphischer Arbeitsergebnisse (1. Phase)
Projektleitung: Prof. Dr. Thomas Baar
01.04.2014 - 28.02.2015 -
CuuL - Curriculum unter Last
Projektleitung: Prof. Dr. Thomas Baar
01.08.2013 - 31.07.2014