Praktikum Systemprogrammierung
Funktionale Sicherheit und Systemzuverlässigkeit
Eingebettete Software in Medizintechnik & eMobilität
Modellbasiertes Testen & Analyse eingebetteter Software
Formale und semiformale Methoden für eingebettete Software