Praktikum Systemprogrammierung
Funktionale Sicherheit und Systemzuverlässigkeit
Cyber-Physische Systeme in Medizintechnik und Mobilität
Modellbasiertes Testen & Analyse eingebetteter Software
Formale und semiformale Methoden für eingebettete Software