PLCEQ: Behavioural Equivalence Checking for Industrial PLC Software Migration.

Santonu Sarkar, Avijit Mandal, Raoul Jetley

Browse the full ENASE paper archive.