PLCStudio: Simulation based PLC code verification.

Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeun Kwak, Sungjoo Yeo

Browse the full WSC paper archive.