Förderprojekte
Weitere Förderprojekte
- ENABLE-S3 2016-2019: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen
- REVaMP² 2016-2019: Round-trip Engineering and Variability Management Platform and Process
- HPSV 2016-2019: Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie
- eCoSMo 2016-2019: Effektive Komplexität von Softwaremodellen
- AgQua 2016-2018: Aggregationsverfahren für Qualität
- ASSUME 2015-2018: Affordable Safe & Secure Mobility Evolution
- MCAS 2015-2018: Prüfverfahren für den modellbasierten Entwurf sicherheitskritischer Avionik‐Software
- CISMo 2013-2016: Change Impact Analysen für Softwaremodelle