KIT - Karlsruher Institut für Technologie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Navigation überspringen
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
KIT
en
Profil
Mitarbeiter
Forschung
Start
Forschung
Forschung
Statische Software-Analyse
Software-Defekt-Vorhersage
Produkt-Konfiguration
Zuverlässige maschinelle Lernverfahren
Logische Entscheidungsverfahren
Lehrveranstaltungen
Master- und Bachelorarbeiten
Veröffentlichungen
Startseite
Home
Impressum
Datenschutz
Barrierefreiheit
Sitemap
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Startseite
Forschung
Forschungsgruppe
Profil
Mitarbeiter
Forschung
Lehrveranstaltungen
Master- und Bachelorarbeiten
Veröffentlichungen
Forschung
Statische Software-Analyse
Software-Defekt-Vorhersage
Produkt-Konfiguration
Zuverlässige maschinelle Lernverfahren
Logische Entscheidungsverfahren
Statische Software-Analyse
MEHR
Software-Defekt-Vorhersage
MEHR
Produkt-Konfiguration
MEHR
Gerd Altmann
Zuverlässige maschinelle Lernverfahren
MEHR
Logische Entscheidungs-verfahren
MEHR