Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Vogel-Heuser, Birgit; Huber, Christoph; Cha, Suhyun; Beckert, Bernhard
- Titel:
- Integration of a formal specification approach into CPPS engineering workflow for machinery validation
- Kongress- / Buchtitel:
- 2021 IEEE 19th International Conference on Industrial Informatics (INDIN)
- Verlag / Institution:
- IEEE
- Publikationsdatum:
- 21.07.2021
- Jahr:
- 2021
- Volltext / DOI:
- doi:10.1109/indin45523.2021.9557505
BibTeX