<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
亚洲精品一品区二品区三品区
|
凹凸69堂国产成人精品视频
|
亚洲va精品中文字幕
|
精品久久久久久亚洲
|
成人无码精品1区2区3区免费看
|
日韩放荡少妇无码视频
|
国产精品东北一极毛片
|
久久精品麻豆日日躁夜夜躁
|
精品国际久久久久999波多野
|
久久国产精品成人片免费
|
久久精品韩国三级
|
国产精品无码一区二区三级
|
熟女精品视频一区二区三区
|
国内精品无码一区二区三区
|
国产精品日本一区二区不卡视频
|
国产91精品久久久久999
|
东京热一精品无码AV
|
亚洲色无码国产精品网站可下载
|
99re5精品视频在线观看
|
亚洲国产一成久久精品国产成人综合
|
无码中文字幕日韩专区视频
|
四虎成人精品在永久免费
|
国产精品免费播放
|
国产精品综合一区二区三区
|
国产精品久久久久久久
|
久久精品亚洲日本波多野结衣
|
国内精品自线在拍2020不卡
|
无码人妻精品一区二区三区蜜桃
|
国产精品久久久久久久久
|
国产精品一久久香蕉产线看
|
精品福利视频网站
|
999在线视频精品免费播放观看
|
国产精品合集一区二区三区
|
国产成人精品免费视频网页大全
|
亚洲AV成人精品日韩一区
|
99久久国产亚洲综合精品
|
亚洲欧洲精品成人久久曰
|
午夜精品久久久久成人
|
亚洲国产成人综合精品
|
精品视频国产狼友视频
|
国内精品久久久久久无码不卡
|