Showing 1 - 2 results of 2 for search 'Wenan Tan', query time: 0.01s
Refine Results
-
1
-
2
SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems by Jian Xie, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang
Published 2022-12-01Get full text
Article