Prof. Dr. Martin Georg Fränzle
Eingebettete Computersysteme, insbes. Modellbildung, Analyse, Verifikation und Synthese hybrid diskret-kontinuierlicher Systeme.
Department für Informatik (» Postanschrift)
Lehrveranstaltungen
Sommersemester 2023
2.01.202
Praktikum Technische Informatik
2.01.204
Eingebettete Systeme II
2.01.300
Hybride Systeme