复杂机电系统的软件与物理统一的形式化功能分析

曹悦, 刘玉生, 秦绪佳, 汤颖

中国机械工程 . 2025, (02): 245 -254 .