IEEE - Institute of Electrical and Electronics Engineers, Inc. - Design and implementation of automatic verification for PLC systems

2013 12th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

Author(s): Mo Xia ; Mian Sun ; Guiming Luo ; Xibin Zhao
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2013
Conference Location: New York, NY, USA
Conference Date: 16 July 2013
Page(s): 374 - 379
ISBN (CD): 978-1-4799-0781-6
ISBN (Electronic): 978-1-4799-0783-0
DOI: 10.1109/ICCI-CC.2013.6622270
Regular:

Programmable Logic Controller (PLC) have been widely used in industries, and safety and reliability of them has been urgently concerned. However, it's hard to verify all the cases to discover the... View More

Advertisement