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]

@inproceedings{TuoZYF16,
  title = {An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation},
  author = {Mingfu Tuo and Xingshe Zhou and Gang Yang and Ning Fu},
  year = {2016},
  doi = {10.1109/iThings-GreenCom-CPSCom-SmartData.2016.140},
  url = {https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2016.140},
  researchr = {https://researchr.org/publication/TuoZYF16},
  cites = {0},
  citedby = {0},
  pages = {636-639},
  booktitle = {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},
  editor = {Xingang Liu and Tie Qiu and Bin Guo and Kaixuan Lu and Zhaolong Ning and Mianxiong Dong and Yayong Li},
  publisher = {IEEE},
  isbn = {978-1-5090-5880-8},
}