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