信息物理融合系统可信软件形式化建模与分析
于振华, 蔡远利, 付晓, 谢文军, 徐海平
Formal modeling and analyzing high-confidence software of cyber-physical systems
YU Zhen-hua, CAI Yuan-li, FU Xiao, XIE Wen-jun, XU Hai-ping
系统工程理论与实践
.
2014, (7): 1857
-1867
.
DOI: 10.12011/1000-6788(2014)7-1857