Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.

Model Checking the {STL} Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra Godde A, Remke A (2017) In: (Hrsg.), Computer Performance Engineering - 14th European Workshop, {EPEW} 2017, Berlin, Germany, September 7-8, 2017, Proceedings, 101-116. (kein Verlag angegeben). doi:10.1007/978-3-319-66583-2\_7 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Implementing the WiPo Architecture Stahl F, Godde A, Hagedorn B, Köpcke B, Rehberger M, Vossen G (2014) Münster: / ERCIS - European Research Center for Information Systems. Arbeitspapier / Working Paper \| Veröffentlicht