Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition.

Mon, 01 Jan 2018 00:00:00 +0100

Andreas Zeller , Nasser Jazdi , Michael Weyrich :
Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition. Autom. 66(6): 456-470 (2018)