Zhang Xian Hao

Module Verifications for Function Block Based Safety-Related Industrial Control Systems

Zhuang Xia, Zhao Lin Jing, Zhang Xian Hao, 2012, 2012 International Conference on Computer Science and Electronics Engineering.