Einführung in die Technische Informatik
Proseminar: Grundlagen eingebetteter Systeme
Praktikum Systemprogrammierung
Formale Methoden für Steuerungssoftware
Automatisierung einer Destillationsanlage
Cyber-Physische Systeme in Medizintechnik und Mobilität
Modellbasiertes Testen & Analyse eingebetteter Software
Formale und semiformale Methoden für eingebettete Software