Showing 1 - 1 results of 1 for search 'Linquan Xing', query time: 0.01s Refine Results
  1. 1
    SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems

    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-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: