Media type: E-Book; Thesis Title: Verification and simulation of self-adaptive mechatronic systems Contributor: Heinzemann, Christian [Verfasser] Corporation: Heinz Nixdorf Institut imprint: Paderborn: Universitätsbibliothek, 2016 Published in: Verlagsschriftenreihe des Heinz Nixdorf Instituts ; Band 348 Extent: Online-Ressource Language: German Identifier: Keywords: Hochschulschrift Origination: University thesis: Paderborn, Universität Paderborn, Diss., 2015 Footnote: Access State: Open Access