%0 Journal Article %1 grochowski2020formal %A Grochowski, Marco %A Simon, Hendrik %A Bohlender, Dimitri %A Kowalewski, Stefan %A Löcklin, Andreas %A Müller, Timo %A Jazdi, Nasser %A Zeller, Andreas %A Weyrich, Michael %D 2020 %I De Gruyter %J Automatisierungstechnik %K %N 1 %P 3-14 %R 10.1515/auto-2019-0115 %T Formal methods for reconfigurable cyber-physical systems in production %V 68

@article{grochowski2020formal, added-at = {2023-08-31T16:25:45.000+0200}, affiliation = {Locklin, A (Reprint Author), Univ Stuttgart, Inst Automatisierungstech & Softwaresyst, Pfaffenwaldring 47, D-70569 Stuttgart, Germany. Loecklin, Andreas; Mueller, Timo; Jazdi, Nasser; Und, Andreas Zeller; Weyrich, Michael, Univ Stuttgart, Inst Automatisierungstech & Softwaresyst, Pfaffenwaldring 47, D-70569 Stuttgart, Germany. Grochowski, Marco; Simon, Hendrik; Bohlender, Dimitri; Kowalewski, Stefan, Rhein Westfal TH Aachen, Lehrstuhl Informat Embedded Software 11, Ahornstr 55, D-52074 Aachen, Germany.}, author = {Grochowski, Marco and Simon, Hendrik and Bohlender, Dimitri and Kowalewski, Stefan and Löcklin, Andreas and Müller, Timo and Jazdi, Nasser and Zeller, Andreas and Weyrich, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22ecfddac0cb98ab4e8c38d900348a2e2/puma-wartung}, doi = {10.1515/auto-2019-0115}, interhash = {80d849e5d4d115d71cf92635e28f53ee}, intrahash = {2ecfddac0cb98ab4e8c38d900348a2e2}, issn = {{0178-2312} and {2196-677X}}, journal = {Automatisierungstechnik}, keywords = {}, language = {ger}, number = 1, pages = {3-14}, publisher = {De Gruyter}, research-areas = {Automation & Control Systems}, timestamp = {2023-08-31T14:25:45.000+0200}, title = {Formal methods for reconfigurable cyber-physical systems in production}, unique-id = {ISI:000503862200002}, volume = 68, year = 2020 }