Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems.

Yu Zhang, Fei Xie, Yunwei Dong, Xingshe Zhou, Chunyan Ma

Browse the full COMPSAC paper archive.