掃一掃
關(guān)注中圖網(wǎng)
官方微博
>
關(guān)于“楊孟飛等著”檢索到 共1種現(xiàn)貨商品
-
包郵可信的航天嵌入式控制軟件開發(fā)技術(shù)
¥22.1(3.6折)定價:¥62.0本書主要論述了航天嵌入式軟件可信保障的問題、解決方法和相關(guān)工具，并介紹了可信保障集成環(huán)境。本書由以下內(nèi)容組成：嵌入式軟件可信性保障技術(shù)體系；航天控制軟件需求建模與驗證；程序?qū)崿F(xiàn)正確性保障;操作系統(tǒng)驗證；航天嵌入式軟件可信保障集成環(huán)境構(gòu)建...
