Old Web
English
Sign In
Acemap
>
Paper
>
Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion
Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion
2020
Marco Grochowski
Hendrik Simon
Dimitri Bohlender
Stefan Kowalewski
Andreas Löcklin
Timo Müller
Nasser Jazdi
Andreas Zeller
Michael Weyrich
Keywords:
Control reconfiguration
Control engineering
Engineering
Formal verification
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
29
References
10
Citations
NaN
KQI
[]