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, 1.7.2018 - 30.6.2019 - Entwicklung eines Werkzeugs zur Versionierung und Kommentierung graphischer Arbeitsergebnisse (1. Phase)
Projektleitung: Prof. Dr. Thomas Baar, 1.4.2014 - 28.2.2015 - CuuL - Curriculum unter Last
Projektleitung: Prof. Dr. Thomas Baar, 1.8.2013 - 31.7.2014