Article citations

Download citation

A Method for Cyber-Physical System Behavior Modeling and Safety Verification Based on Extended Hybrid System Description Language

Ming Fu Tuo, Xing She Zhou, Zheng Xin Guo and Li Jun Shan

MATEC Web of Conferences, 44 (2016) 02092

DOI: https://doi.org/10.1051/matecconf/20164402092

Back to the article