Spatio-temporal Properties Analysis for Cyber-physical Systems

Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang. Spatio-temporal Properties Analysis for Cyber-physical Systems. In 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013. pages 101-110, IEEE, 2013. [doi]

Abstract

Abstract is missing.