空间控制技术与应用2021，Vol.47Issue(2)：25-31,7.
面向航天型号软件的混成建模语言研究
Hybrid Modeling Language for Aerospace Model Software
摘要
关键词
航天型号软件/混成描述语言/形式语义模型分类
信息技术与安全科学引用本文复制引用
胡指铭,黄丽桃,赵涌鑫..面向航天型号软件的混成建模语言研究[J].空间控制技术与应用,2021,47(2):25-31,7.基金项目
国家重点研发计划资助项目(2019YFB2102600)和高可信嵌入式软件工程技术实验室资助项目(HCESET-2019-1) （2019YFB2102600）
