MLA
Herrmann, Peter,et al. "A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems." Robotic Systems: Concepts, Methodologies, Tools, and Applications, edited by Information Resources Management Association, IGI Global, 2020, pp. 623-637. http://doi:10.4018/978-1-7998-1754-3.ch033
APA
Herrmann, P., Blech, J. O., Han, F., & Schmidt, H. (2020). A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. In Management Association, I. (Ed.), Robotic Systems: Concepts, Methodologies, Tools, and Applications (pp. 623-637). IGI Global. http://doi:10.4018/978-1-7998-1754-3.ch033
Chicago
Herrmann, Peter and Jan Olaf Blech, Fenglin Han, and Heinz Schmidt. "A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems." In Robotic Systems: Concepts, Methodologies, Tools, and Applications. edited by Information Resources Management Association, 623-637. Hershey, PA: IGI Global, 2020. http://doi:10.4018/978-1-7998-1754-3.ch033
Export Reference
