TY - BOOK AU - Heinzemann, Christian CY - Paderborn DA - 2016 DP - Universität Paderborn ET - Elektronische Ressource LA - ger M1 - Band 348 N1 - Universität Paderborn, Dissertation, 2015 PB - Heinz Nixdorf Institut, Universität Paderborn PY - 2016 SN - 978-3-942647-67-0 SP - 1 Online-Ressource (290 Seiten) T2 - Verlagsschriftenreihe des Heinz Nixdorf Instituts TI - Verification and simulation of self-adaptive mechatronic systems UR - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-24383 Y2 - 2026-01-12T05:13:42 ER -