Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition

Automatisierungstechnik

A. Zeller, N. Jazdi, and M. Weyrich
January, 2018
Type
Conference paper