APA (7th ed.) Citation

Vogel-Heuser, B., Huber, C., Cha, S., & Beckert, B. (2021, July 21). Integration of a formal specification approach into CPPS engineering workflow for machinery validation. 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), 1-8. https://doi.org/10.1109/INDIN45523.2021.9557505

Chicago Style (17th ed.) Citation

Vogel-Heuser, Birgit, Christoph Huber, Suhyun Cha, and Bernhard Beckert. "Integration of a Formal Specification Approach into CPPS Engineering Workflow for Machinery Validation." 2021 IEEE 19th International Conference on Industrial Informatics (INDIN) 21 Jul. 2021: 1-8. https://doi.org/10.1109/INDIN45523.2021.9557505.

MLA (9th ed.) Citation

Vogel-Heuser, Birgit, et al. "Integration of a Formal Specification Approach into CPPS Engineering Workflow for Machinery Validation." 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), 21 Jul. 2021, pp. 1-8, https://doi.org/10.1109/INDIN45523.2021.9557505.