空间控制技术与应用
搜索
空间控制技术与应用
2021年2期
浏览往期
订阅
目录
论文与报告
航天嵌入式软件数组越界缺陷特征研究
基于知识图谱和自动机器学习的软件缺陷预测
一种嵌入式软件安全漏洞的代码加固方法
面向航天型号软件的混成建模语言研究
面向源代码可信证据的航天软件可信度量评估方法
基于神经网络融合模型的源代码注释自动生成
面向安全属性的软件组件可信依赖关系度量模型
基于模型架构的航天器控制软件研制方式研究
空间飞行器控制软件的动态自适应演化方法
基于工厂模式的OSLC数据集成接口设计与实现
基于系统科学的复杂系统软件生命周期模型研究
航天嵌入式软件静态分析技术