TY  - BOOK
A1  - Preuße, Sebastian
TI  - Technologies for Engineering Manufacturing Systems Control in Closed Loop
SN  - 9783832593636
PY  - 2013
KW  - model checking
KW  - closed-loop modeling
KW  - closed-loop analysis
KW  - specification technologies
KW  - model generation
UR  - http://www.content-select.com/index.php?id=bib_view&ean=9783832593636
UR  - https://content-select.com/de/portal/media/view/58a72a27-c9f4-43af-826b-452bb0dd2d03
PB  - Logos Verlag
CY  - Berlin
LA  - eng
ER  -