Design of industrial automation systems - Formal requirements in the engineering process

Björn Böttcher, Johann Badinger, Natalia Moriz, Oliver Niggemann. Design of industrial automation systems - Formal requirements in the engineering process. In Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013. pages 1-4, IEEE, 2013. [doi]

Abstract

Abstract is missing.