Extending the verification coverage for PLC control programs: A functional safety approach.

Cleber A. Sarmento, Diolino J. Santos Filho, Paulo E. Miyagi

Browse the full IECON paper archive.