IEEE - Institute of Electrical and Electronics Engineers, Inc. - Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems

2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC)

Author(s): Yu Zhang ; Fei Xie ; Yunwei Dong ; Xingshe Zhou ; Chunyan Ma
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2013
Conference Location: Kyoto, Japan
Conference Date: 22 July 2013
Page(s): 539 - 548
ISBN (Electronic): 978-0-7695-4986-6
ISSN (Electronic): 0730-3157
DOI: 10.1109/COMPSAC.2013.88
Regular:

Cyber-Physical Systems (CPS) tightly integrate cyber and physical components and transcend discrete and continuous domains. It is greatly desired that the physical components being controlled and... View More

Advertisement