Humboldt-Universität zu Berlin
Anmelden

Forschende

1 Treffer mit Thema „Systemanalyse“ in Mathematisch-Naturwissenschaftliche Fakultät · Themen-Filter entfernen

RelevanzName
Lieber eine ganze Idee in Sätzen beschreiben? Zur Ideen-Suche →
Mathematisch-Naturwissenschaftliche Fakultät
PP
PD Dr. Louchka Popova-Zeugmann
Institut für Informatik · Mathematisch-Naturwissenschaftliche Fakultät

PD Dr. Popova-Zeugmann forscht an formalen Methoden zur Modellierung und Verifikation zeitkritischer, verteilter Systeme, insbesondere unter Verwendung von Petri-Netzen.

1Projekte