- Dokumenttyp:
- Konferenzbeitrag
- Art des Konferenzbeitrags:
- Vortrag / Präsentation
- Autor(en):
- Brandenbourger, Benjamin and Vathoopan, Milan and Zoitl, Alois
- Titel:
- Modeling and verifying behavioral constraints for automation systems
- Kongress- / Buchtitel:
- Industrial Informatics (INDIN), 2017 IEEE 15th International Conference on
- Jahr:
- 2017
- BibTeX