KIT - Karlsruhe Institute of Technology
image/svg+xml
Endowed professorship for reliable software systems in the automotive industry
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
de
Profile
Staff
Research
Start
Research
Research
Statische Software-Analyse
Software-Defekt-Vorhersage
Produkt-Konfiguration
Zuverlässige maschinelle Lernverfahren
Logische Entscheidungsverfahren
Lehrveranstaltungen
Bachelor/Master Theses
Publications
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
Endowed professorship for reliable software systems in the automotive industry
Startpage
Lehrveranstaltungen
Endowed professorship for reliable software systems in the automotive industry (retired)
Profile
Staff
Research
Lehrveranstaltungen
Bachelor/Master Theses
Publications
Lehrveranstaltungen
Bug Finding Techniques
type:
seminar
semester:
WS 2013/2014
lecturer:
Mana Taghdiri, Carsten Sinz, Stephan Falke
sws:
2
ects:
3
lv-no.:
2400037
links
Weitere Informationen