基于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