Entwurf, Modellierung und Verifikation von Serviceabhängigkeiten in Prozessmodulen

Jan Ladiges, Aljosha Köcher, Peer Clement, Henry Bloch, Thomas Holm, Paul Altmann, Alexander Fay, Leon Urbas. Entwurf, Modellierung und Verifikation von Serviceabhängigkeiten in Prozessmodulen. Automatisierungstechnik, 66(5):418-437, 2018. [doi]

Abstract

Abstract is missing.