Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion

Marco Grochowski, Hendrik Simon, Dimitri Bohlender, Stefan Kowalewski, Andreas Löcklin, Timo Müller, Nasser Jazdi, Andreas Zeller, Michael Weyrich. Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion. Automatisierungstechnik, 68(1):3-14, 2020. [doi]

Abstract

Abstract is missing.