![](/img/cover-not-exists.png)
[IEEE 2013 12th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC) - New York, NY, USA (2013.07.16-2013.07.18)] 2013 IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing - Design and implementation of automatic verification for PLC systems
Xia, Mo, Sun, Mian, Luo, Guiming, Zhao, XibinYear:
2013
Language:
english
DOI:
10.1109/icci-cc.2013.6622270
File:
PDF, 1.08 MB
english, 2013