Endowed professorship for reliable software systems in the automotive industry
LLBMC
Software Verifikation
quality approved
Softwarequalitäts-Vorhersage
components
Produkt-Konfiguration
netzwerk Gerd Altmann
Zuverlässigkeit maschineller Lernverfahren
SAT-Instance
Logische Grundlagen