Static code analysis for Kemro IEC 61131-3 programs: Requirements, methods, implementation, and results

Authors Florian Angerer
Herbert Prähofer
Rudolf Ramler
Editors
Title Static code analysis for Kemro IEC 61131-3 programs: Requirements, methods, implementation, and results
Type techreport
Number SCCH-TR-1301
Month January
Year 2013
SCCH ID# 1301