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