Prof. Dr. Tiziana Margaria-Steffen

Prof. Dr. Tiziana Margaria-Steffen
Informatik
Uni Potsdam

Lehrveranstaltungen von Prof. Dr. Tiziana Margaria-Steffen

Veranstaltung Umfang Beschreibung Bewertungen
Formale Methoden im Systementwurf
Vorlesung
6 SWS - 2
Systeme und ihre Modellierung 2
Vorlesung + Übung/Tutorium
6 SWS - 1