Software-physical Unified Formal Functional Analysis for Complex Mechatronic Systems
CAO Yue1, LIU Yusheng2, QIN Xujia1, TANG Ying1
China Mechanical Engineering . 2025, (02): 245 -254 .  DOI: 10.3969/j.issn.1004-132X.2025.02.007