@inproceedings{a71eb8fdd9304a22b8ab71c1f4751dc4,
title = "Research on safety verification technology of cyber-physical systems",
abstract = "This paper analyzes the challenges for safety verification of CPS, introduces the related works, discusses the key technologies of safety modeling and safety verification, and puts forward a framework for integration of safety modeling and safety verification.",
keywords = "CPS, Integration, Safety modeling, Safety verification",
author = "Tuo, \{Ming Fu\} and Zhou, \{Xing She\} and Li An and Rui Zhu",
note = "Publisher Copyright: {\textcopyright} 2015 Taylor \& Francis Group, London.; 2nd International Conference on Computer, Intelligent and Education Technology, CICET 2015 ; Conference date: 11-04-2015 Through 12-04-2015",
year = "2015",
doi = "10.1201/b18828-119",
language = "英语",
isbn = "9781138028005",
series = "Computing, Control, Information and Education Engineering - Proceedings of the 2015 2nd International Conference on Computer, Intelligent and Education Technology, CICET 2015",
publisher = "CRC Press/Balkema",
pages = "525--528",
editor = "Hsiang-Chuan Liu and Wen-Pei Sung and Wenli Yao",
booktitle = "Computing, Control, Information and Education Engineering - Proceedings of the 2015 2nd International Conference on Computer, Intelligent and Education Technology, CICET 2015",
}