Prof. Dr. Martin Georg Fränzle
Eingebettete Computersysteme, insbes. Modellbildung, Analyse, Verifikation und Synthese hybrid diskret-kontinuierlicher Systeme.
Department of Computing Science (» Postal address)
Lectures
Summer term 2024
2.01.202
Praktikum Technische Informatik
2.01.204
Eingebettete Systeme II
2.01.300
Hybride Systeme