Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition

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

Authors

Andreas Zeller

This author has not been identified. Look up 'Andreas Zeller' in Google

Nasser Jazdi

This author has not been identified. Look up 'Nasser Jazdi' in Google

Michael Weyrich

This author has not been identified. Look up 'Michael Weyrich' in Google