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