Forschung

Petrinetze, Verteilte Systeme, Realzeit, Verifikation, Model-Checking, SDL, MSC, SPS-Programmierung

(Stand: 09.06.2021)