Login / Signup

Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application.

Herbert PrähoferFlorian AngererRudolf RamlerFriedrich Grillenberger
Published in: IEEE Trans. Ind. Informatics (2017)
Keyphrases
  • industrial applications
  • tool support
  • database
  • case study
  • source code
  • static analysis
  • dynamic analysis
  • expert systems
  • information technology
  • decision support
  • software tools