%0 Journal Article
%T Model-based verification of PLC programs using Simulink design
%A He, Nannan
%A Oke, Victor
%A Allen, Gale
%A ,
%J 2016 IEEE International Conference on Electro Information Technology (EIT)
%D 2016-05-01
%I IEEE
%~ DeepDyve