SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems-Reference-Cited by-同舟云学术

SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems

Author:

Xie Jian¹²³,Tan Wenan¹²³,Yang Zhibin¹²³,Li Shuming¹²,Xing Linquan¹²,Huang Zhiqiu¹²³

Affiliation:

1. College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China

2. Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China

3. Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China

Funder

National Natural Science Foundation of China

Aeronautical Science Foundation of China

Defense Industrial Technology Development Program

Publisher

Informa UK Limited

Subject

Artificial Intelligence,Human-Computer Interaction,Software

Link

Reference48 articles.

4. Badouel, É., Benveniste, A., Caillaud, B., Delahaye, B. & Raclet, J. B. (2006). SPEEDS: speculative and exploratory design in systems engineering.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献