Wintersemester 18/19

Bachelor

Einführung in die Technische Informatik


Proseminar: Grundlagen eingebetteter Systeme


Praktikum Systemprogrammierung

Master

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