基于SysML的嵌入式软件系统建模与验证方法研究
仵林博,陈小红,彭艳红,聂长海
Research on System Modeling and Verification Method of Embedded Software Based on SysML
WU Linbo,CHEN Xiaohong,PENG Yanhong,NIE Changhai
计算机工程 . 2019, (1): 1 -8 .  DOI: 10.19678/j.issn.1000-3428.0052826