Forschende

1 Treffer mit Thema „Zeitgesteuerte Systeme" in Juristische Fakultät, Mathematisch-Naturwissenschaftliche Fakultät, Lebenswissenschaftliche Fakultät · Themen-Filter entfernen

Relevanz Name

Lieber eine ganze Idee in Sätzen beschreiben? Zur Ideen-Suche →

Juristische Fakultät Mathematisch-Naturwissenschaftliche Fakultät Lebenswissenschaftliche Fakultät alle entfernen

PD Dr. Louchka Popova-Zeugmann

Institut für Informatik · Mathematisch-Naturwissenschaftliche Fakultät

PD Dr. Popova-Zeugmann erforscht die formale Modellierung und Verifikation von verteilten, zeitabhängigen Systemen mittels Petri-Netzen — insbesondere wie man durch Prioritäten und Zeitbeschränkungen das Verhalten solcher Netze kontrolliert und stabilisiert.

1Projekte