Opportunities and challenges of static code analysis of IEC 61131-3 programs

Herbert Prähofer, Florian Angerer, Rudolf Ramler, Hermann Lacheiner, Friedrich Grillenberger. Opportunities and challenges of static code analysis of IEC 61131-3 programs. In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012. pages 1-8, IEEE, 2012. [doi]

Authors

Herbert Prähofer

This author has not been identified. Look up 'Herbert Prähofer' in Google

Florian Angerer

This author has not been identified. Look up 'Florian Angerer' in Google

Rudolf Ramler

This author has not been identified. Look up 'Rudolf Ramler' in Google

Hermann Lacheiner

This author has not been identified. Look up 'Hermann Lacheiner' in Google

Friedrich Grillenberger

This author has not been identified. Look up 'Friedrich Grillenberger' in Google