{"date_updated":"2022-01-06T06:55:46Z","author":[{"last_name":"Flaßkamp","first_name":"Kathrin","full_name":"Flaßkamp, Kathrin"},{"full_name":"Heinzemann, Christian","last_name":"Heinzemann","first_name":"Christian"},{"full_name":"Krüger, Martin","last_name":"Krüger","first_name":"Martin"},{"id":"16494","full_name":"Ober-Blöbaum, Sina","first_name":"Sina","last_name":"Ober-Blöbaum"},{"last_name":"Schäfer","first_name":"Wilhelm","full_name":"Schäfer, Wilhelm"},{"full_name":"Steenken, Dominik","first_name":"Dominik","last_name":"Steenken"},{"id":"552","first_name":"Ansgar","last_name":"Trächtler","full_name":"Trächtler, Ansgar"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"status":"public","title":"Verification for Interacting Mechatronic Systems with Motion Profiles","year":"2014","user_id":"24876","language":[{"iso":"eng"}],"_id":"23109","publisher":"Springer-Verlag, Heidelberg, Germany","page":"119-128","citation":{"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.","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.","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.","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.","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} }","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.","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."},"publication":"Dependability of Self-optimizing Mechatronic Systems","department":[{"_id":"153"}],"type":"book_chapter","date_created":"2021-08-09T06:50:02Z"}