Wintersemester 17/18

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


Cyber-Physische Systeme in Medizintechnik und Mobilität


Modellbasiertes Testen & Analyse eingebetteter Software


Formale und semiformale Methoden für eingebettete Software