<fieldset id="6wgag"></fieldset>
<strike id="6wgag"></strike>
<samp id="6wgag"><tbody id="6wgag"></tbody></samp>
<strike id="6wgag"></strike>
<blockquote id="kcywi"></blockquote>
<strike id="kcywi"></strike>
<strike id="kcywi"></strike>
<tfoot id="kcywi"><input id="kcywi"></input></tfoot>
設為首頁
網站地圖
幫助
手機版
登錄
注冊
搜索
地市：
行業：
返回首頁
搜索結果
新產品
新技術
企業
合作（1）
公共服務
資訊
知識
安全關鍵軟件測試與驗證環境TesVESS
關鍵字：
安全關鍵軟件
所屬行業：
電子信息
發布時間：
2015-09-09
價格：
所在地區：
湖南 長沙
合作信息期限：
2016年4月
合作信息類型：
意向合作
機構類型：
高等院校
供求關系：
供應
合作信息簡介：
成果名稱：安全關鍵軟件測試與驗證環境TesVESS 成果簡介 TesVESS是一個安全關鍵軟件的測試與驗證環境，能夠從軟件分析和設計階段開始對軟件的可靠性和可靠安全性進行保障。它以軟件分析和設計模型為基礎，有效地融合了安全關鍵性質的模型檢驗、針對安全關鍵性質的測試用例生成、安全關..
發布機構：
湖南長沙國防科技大學科研部
共
1
頁 總數：
2
條
設為首頁
|
關于我們
|
會員服務
|
友情鏈接
|
聯系我們
中國·廣西工業創新促進會 ©版權所有 桂ICP備14000625號-2
91精品手机国产免费
|
欧亚精品卡一卡二卡三
|
热久久99精品这里有精品
|
自怕偷自怕亚洲精品
|
亚洲国产精品无码久久久秋霞2
|
日韩精品久久久久久免费
|
四虎精品影院在线观看视频
|
97久久精品人妻人人搡人人玩
|
久久亚洲精品成人无码网站
|
亚洲AV成人无码久久精品老人
|
精品国产麻豆免费人成网站
|
99精品久久精品
|
国产一区二区三精品久久久无广告
|
国产高清在线精品一区二区三区
|
日韩毛片无码永久免费看
|
亚洲综合日韩中文字幕v在线
|
亚洲免费日韩无码系列
|
中文字幕日韩有码
|
免费在线精品视频
|
国产成人无码精品久久久露脸
|
无码国产亚洲日韩国精品视频一区二区三区
|
中日韩国语视频在线观看
|
国产亚洲精品2021自在线
|
国产精品免费综合一区视频
|
日韩精品一区二区三区国语自制
|
国产SUV精品一区二区88
|
亚洲Av永久无码精品一区二区
|
国产精品91av
|
国产精品一区二区久久精品
|
国产精品久久99
|
69久久精品无码一区二区
|
日韩精品免费一级视频
|
国产成人精品日本亚洲11
|
精品国产无限资源免费观看
|
麻豆国产精品免费视频
|
色综合久久精品中文字幕首页
|
国产精品制服丝袜一区
|
亚洲av无码成人精品区一本二本
|
思思久久96热在精品国产
|
日韩精品电影在线观看
|
国产精品极品美女免费观看
|