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

Herbert Prhofer, Florian Angerer, Rudolf Ramler, Hermann Lacheiner, Friedrich Grillenberger

Browse the full ETFA paper archive.