Einführung in die Technische Informatik
Modellierungssprachen für eingebettete Systeme
Praktikum Systemprogrammierung
Dynamische Systeme für Informatiker
Formale Methoden für Steuerungssoftware
Automatisierung einer Destillationsanlage
Eingebettete Software in Medizintechnik & eMobilität
Modellbasiertes Testen & Analyse eingebetteter Software
Formale und semiformale Methoden für eingebettete Software