An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation

Mingfu Tuo, Xingshe Zhou, Gang Yang, Ning Fu. An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation. In Xingang Liu, Tie Qiu, Bin Guo, Kaixuan Lu, Zhaolong Ning, Mianxiong Dong, Yayong Li, editors, 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), Chengdu, China, December 15-18, 2016. pages 636-639, IEEE, 2016. [doi]

Abstract

Abstract is missing.