Verification for Interacting Mechatronic Systems with Motion Profiles
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.
Download
No fulltext has been uploaded.
Book Chapter
| English
Author
Flaßkamp, Kathrin;
Heinzemann, Christian;
Krüger, Martin;
Ober-Blöbaum, SinaLibreCat;
Schäfer, Wilhelm;
Steenken, Dominik;
Trächtler, AnsgarLibreCat;
Wehrheim, Heike
Publishing Year
Book Title
Dependability of Self-optimizing Mechatronic Systems
Page
119-128
LibreCat-ID
Cite this
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.
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.
@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} }
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.
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.
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.
Google Scholar