設為首頁
網站地圖
幫助
手機版
登錄
注冊
搜索
地市:
行業:
返回首頁
搜索結果
新產品
新技術
企業
合作(1)
公共服務
資訊
知識
安全關鍵軟件測試與驗證環境TesVESS
關鍵字:
安全關鍵軟件
所屬行業:
電子信息
發布時間:
2015-09-09
價格:
所在地區:
湖南 長沙
合作信息期限:
2016年4月
合作信息類型:
意向合作
機構類型:
高等院校
供求關系:
供應
合作信息簡介:
成果名稱:安全關鍵軟件測試與驗證環境TesVESS 成果簡介 TesVESS是一個安全關鍵軟件的測試與驗證環境,能夠從軟件分析和設計階段開始對軟件的可靠性和可靠安全性進行保障。它以軟件分析和設計模型為基礎,有效地融合了安全關鍵性質的模型檢驗、針對安全關鍵性質的測試用例生成、安全關..
發布機構:
湖南長沙國防科技大學科研部
共
1
頁 總數:
2
條
設為首頁
|
關于我們
|
會員服務
|
友情鏈接
|
聯系我們
中國·廣西工業創新促進會 ©版權所有 桂ICP備14000625號-2
中国精品一级毛片免费播放
|
日韩精品国产一区
|
91久久精品国产成人久久
|
老司机91精品网站在线观看
|
北条麻妃久久99精品
|
国产精品女人呻吟在线观看
|
日韩丝袜在线观看
|
日韩经典午夜福利发布
|
国产三级国产精品
|
国产精品免费视频播放器
|
国语自产精品视频在线完整版
|
97热久久免费频精品99
|
精品久久久久久无码专区不卡
|
亚洲精品偷拍无码不卡av
|
亚洲精品国产肉丝袜久久
|
97精品在线观看
|
97精品在线观看
|
亚洲欧洲精品一区二区三区
|
2021国产精品久久
|
亚洲视频精品在线观看
|
2020精品国产自在现线看
|
91久久精品电影
|
国产麻豆精品原创
|
亚洲精品V天堂中文字幕
|
日韩国产精品亚洲а∨天堂免
|
人妻无码久久精品人妻
|
精品熟女少妇AV免费观看
|
精品国内自产拍在线视频
|
久久99热久久99精品
|
国产精品无码久久四虎
|
人妻少妇精品久久久久久
|
91情国产l精品国产亚洲区
|
精品无码人妻一区二区三区品
|
亚洲国模精品一区
|
www国产亚洲精品久久久
|
日韩人妻潮喷中文在线视频
|
美女免费精品高清毛片在线视
|
久久国产精品二区99
|
久久精品一区二区免费看
|
久久亚洲美女精品国产精品
|
思思re热免费精品视频66
|
请选择行業類別(您最多能选择25项)
[确认]
已选行業:
食品
汽車
石化
電力
有色金屬
冶金
機械
建材
造紙與木材加工
電子信息
醫藥制造
紡織服裝與皮革
生物
修造船及海洋工程裝備
節能環保
先進裝備制造
新材料
新能源
生物醫藥
養生長壽健康
海洋產業
新能源汽車
新一代信息技術
生物農業
其他
请选择所在地市(您最多能选择14项)
[确认]
已选地市:
南寧
桂林
柳州
北海
玉林
梧州
防城港
欽州
貴港
百色
河池
來賓
崇左
賀州