Showing 1 - 2 results of 2 for search 'Chaoze Lu', query time: 0.01s Refine Results
  1. 1
    Toward a modeling and analysis method of cyber-physical systems architecture evolution based on bigraph

    Toward a modeling and analysis method of cyber-physical systems architecture evolution based on bigraph by Chaoze Lu, Qifeng Zou, Jianchao Zhou

    Published 2025-03-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking

    Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking by Chaoze Lu, Chenghao Li, Chenxia Liu, Xianrui Wu, Yimin Huang

    Published 2025-07-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: