Navigation

Forschung

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

Webmastejufkr (marcdk2wdo.grawvgbundhnfer@u4/36nol.duiz7e) (Stand: 07.11.2019)