![[IEEE 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Krakow, Poland (2012.09.17-2012.09.21)] Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Opportunities and challenges of static code analysis of IEC 61131-3 programs]()
[IEEE 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Krakow, Poland (2012.09.17-2012.09.21)] Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) - Opportunities and challenges of static code analysis of IEC 61131-3 programsPrahofer, Herbert; Angerer, Florian; Ramler, Rudolf; Lacheiner, Hermann; Grillenberger, Friedrich · 2012