Wintersemester 16/17

Bachelor

Einführung in die Technische Informatik


Modellierungssprachen für eingebettete Systeme


Praktikum Systemprogrammierung

Master

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