Decomposition-based Verification of Global Compliance in Process Choreographies
Walid Fdhila, Stefanie Rinderle-Ma, David Knuplesch and Manfred Reichert 24th IEEE Int'l Conference on Enterprise Computing (EDOC 2020)
5-8 October…
Im Folgenden finden Sie eine Aufstellung an Vorträgen, die unsere Mitarbeiter halten werden. Außerdem listen wir auch Konferenzen auf, die für unsere Forschungsbereiche von Relevanz sind.