Litian Xiao, Mengyuan Li, Ming Gu 0001, Jiaguang Sun. PLC programs' checking method and strategy based on module state transfer. In IEEE International Conference on Information and Automation, ICIA 2015, Lijiang, China, August 8-10, 2015. pages 702-706, IEEE, 2015. [doi]
Abstract is missing.