模型檢測與定理證明相結合開發並驗證高可信嵌入式軟體

　
new

模型檢測與定理證明相結合開發並驗證高可信嵌入式軟體的英文翻譯

基本釋義

模型檢測與定理證明相結合開發並驗證高可信嵌入式軟體的相關資料：

臨近單詞

模 模上的實賦值與高層序的相容性
以上內容獨家創作，受著作權保護，侵權必究

今日熱詞
相關詞典網站：

牛津高階第八版

美國韋氏詞典

Dictionary.com

Free Dictionary

維基百科 (自由的百科全書)

目錄 附錄 查詞歷史