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
Identifier
- DOI: 10.1515/auto-2019-0115
- RWTH PUBLICATIONS: RWTH-2019-12214