空間控制技術(shù)與應(yīng)用
論文與報(bào)告
- 航天嵌入式軟件數(shù)組越界缺陷特征研究
- 基于知識(shí)圖譜和自動(dòng)機(jī)器學(xué)習(xí)的軟件缺陷預(yù)測
- 一種嵌入式軟件安全漏洞的代碼加固方法
- 面向航天型號(hào)軟件的混成建模語言研究
- 面向源代碼可信證據(jù)的航天軟件可信度量評(píng)估方法
- 基于神經(jīng)網(wǎng)絡(luò)融合模型的源代碼注釋自動(dòng)生成
- 面向安全屬性的軟件組件可信依賴關(guān)系度量模型
- 基于模型架構(gòu)的航天器控制軟件研制方式研究
- 空間飛行器控制軟件的動(dòng)態(tài)自適應(yīng)演化方法
- 基于工廠模式的OSLC數(shù)據(jù)集成接口設(shè)計(jì)與實(shí)現(xiàn)
- 基于系統(tǒng)科學(xué)的復(fù)雜系統(tǒng)軟件生命周期模型研究
- 航天嵌入式軟件靜態(tài)分析技術(shù)