{"language":[{"iso":"eng"}],"_id":"23109","year":"2014","date_updated":"2022-01-06T06:55:46Z","status":"public","author":[{"last_name":"Flaßkamp","full_name":"Flaßkamp, Kathrin","first_name":"Kathrin"},{"last_name":"Heinzemann","full_name":"Heinzemann, Christian","first_name":"Christian"},{"first_name":"Martin","full_name":"Krüger, Martin","last_name":"Krüger"},{"first_name":"Sina","id":"16494","last_name":"Ober-Blöbaum","full_name":"Ober-Blöbaum, Sina"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"first_name":"Dominik","last_name":"Steenken","full_name":"Steenken, Dominik"},{"id":"552","first_name":"Ansgar","full_name":"Trächtler, Ansgar","last_name":"Trächtler"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"publication":"Dependability of Self-optimizing Mechatronic Systems","date_created":"2021-08-09T06:50:02Z","title":"Verification for Interacting Mechatronic Systems with Motion Profiles","type":"book_chapter","page":"119-128","publisher":"Springer-Verlag, Heidelberg, Germany","citation":{"short":"K. Flaßkamp, C. Heinzemann, M. Krüger, S. Ober-Blöbaum, W. Schäfer, D. Steenken, A. Trächtler, H. Wehrheim, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 119–128.","ama":"Flaßkamp K, Heinzemann C, Krüger M, et al. Verification for Interacting Mechatronic Systems with Motion Profiles. In: <i>Dependability of Self-Optimizing Mechatronic Systems</i>. Springer-Verlag, Heidelberg, Germany; 2014:119-128.","bibtex":"@inbook{Flaßkamp_Heinzemann_Krüger_Ober-Blöbaum_Schäfer_Steenken_Trächtler_Wehrheim_2014, title={Verification for Interacting Mechatronic Systems with Motion Profiles}, booktitle={Dependability of Self-optimizing Mechatronic Systems}, publisher={Springer-Verlag, Heidelberg, Germany}, author={Flaßkamp, Kathrin and Heinzemann, Christian and Krüger, Martin and Ober-Blöbaum, Sina and Schäfer, Wilhelm and Steenken, Dominik and Trächtler, Ansgar and Wehrheim, Heike}, year={2014}, pages={119–128} }","chicago":"Flaßkamp, Kathrin, Christian Heinzemann, Martin Krüger, Sina Ober-Blöbaum, Wilhelm Schäfer, Dominik Steenken, Ansgar Trächtler, and Heike Wehrheim. “Verification for Interacting Mechatronic Systems with Motion Profiles.” In <i>Dependability of Self-Optimizing Mechatronic Systems</i>, 119–28. Springer-Verlag, Heidelberg, Germany, 2014.","mla":"Flaßkamp, Kathrin, et al. “Verification for Interacting Mechatronic Systems with Motion Profiles.” <i>Dependability of Self-Optimizing Mechatronic Systems</i>, Springer-Verlag, Heidelberg, Germany, 2014, pp. 119–28.","apa":"Flaßkamp, K., Heinzemann, C., Krüger, M., Ober-Blöbaum, S., Schäfer, W., Steenken, D., … Wehrheim, H. (2014). Verification for Interacting Mechatronic Systems with Motion Profiles. In <i>Dependability of Self-optimizing Mechatronic Systems</i> (pp. 119–128). Springer-Verlag, Heidelberg, Germany.","ieee":"K. Flaßkamp <i>et al.</i>, “Verification for Interacting Mechatronic Systems with Motion Profiles,” in <i>Dependability of Self-optimizing Mechatronic Systems</i>, Springer-Verlag, Heidelberg, Germany, 2014, pp. 119–128."},"user_id":"24876","department":[{"_id":"153"}]}