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

• Formal methods for reconfigurable cyber-physical systems in production

Grochowski, Marco (Corresponding author); Simon, Hendrik; Bohlender, Dimitri; Kowalewski, Stefan; Löcklin, Andreas; Müller, Timo; Jazdi, Nasser; Zeller, Andreas; Weyrich, Michael

Berlin : De Gruyter (2019, 2020)
Journal Article

In: Automatisierungstechnik
Volume: 68
Issue: 1
Page(s)/Article-Nr.: 3-14