<fieldset id="6wgag"></fieldset>
<strike id="6wgag"></strike>
<samp id="6wgag"><tbody id="6wgag"></tbody></samp>
<strike id="6wgag"></strike>
<ul id="e60km"><tbody id="e60km"></tbody></ul>
<samp id="e60km"></samp>
<samp id="e60km"></samp>
<th id="e60km"></th>
<ul id="e60km"></ul>
設(shè)為首頁(yè)
網(wǎng)站地圖
幫助
手機(jī)版
登錄
注冊(cè)
搜索
地市：
行業(yè)：
返回首頁(yè)
搜索結(jié)果
新產(chǎn)品
新技術(shù)
企業(yè)
合作（1）
公共服務(wù)
資訊
知識(shí)
安全關(guān)鍵軟件測(cè)試與驗(yàn)證環(huán)境TesVESS
關(guān)鍵字：
安全關(guān)鍵軟件
所屬行業(yè)：
電子信息
發(fā)布時(shí)間：
2015-09-09
價(jià)格：
所在地區(qū)：
湖南 長(zhǎng)沙
合作信息期限：
2016年4月
合作信息類型：
意向合作
機(jī)構(gòu)類型：
高等院校
供求關(guān)系：
供應(yīng)
合作信息簡(jiǎn)介：
成果名稱：安全關(guān)鍵軟件測(cè)試與驗(yàn)證環(huán)境TesVESS 成果簡(jiǎn)介 TesVESS是一個(gè)安全關(guān)鍵軟件的測(cè)試與驗(yàn)證環(huán)境，能夠從軟件分析和設(shè)計(jì)階段開始對(duì)軟件的可靠性和可靠安全性進(jìn)行保障。它以軟件分析和設(shè)計(jì)模型為基礎(chǔ)，有效地融合了安全關(guān)鍵性質(zhì)的模型檢驗(yàn)、針對(duì)安全關(guān)鍵性質(zhì)的測(cè)試用例生成、安全關(guān)..
發(fā)布機(jī)構(gòu)：
湖南長(zhǎng)沙國(guó)防科技大學(xué)科研部
共
1
頁(yè) 總數(shù)：
2
條
設(shè)為首頁(yè)
|
關(guān)于我們
|
會(huì)員服務(wù)
|
友情鏈接
|
聯(lián)系我們
中國(guó)·廣西工業(yè)創(chuàng)新促進(jìn)會(huì) ©版權(quán)所有 桂ICP備14000625號(hào)-2
日韩一区二区三区视频久久
|
人妻少妇精品无码专区
|
国产亚洲精品无码专区
|
亚洲AV日韩AV天堂久久
|
国内精品久久人妻无码不卡
|
久久这里只精品99re66
|
亚洲精品第一国产综合野
|
99热在线精品观看
|
亚洲国产精品国自产电影
|
久久国产精品99精品国产987
|
中文字幕日韩专区精品系列
|
国产高清一级毛片精品
|
青娱乐国产精品视频
|
日韩精品一卡2卡3卡4卡新区乱码 日韩精品一线二线三线优势
|
久久精品国产亚洲AV嫖农村妇女
|
久久国产精品亚洲一区二区
|
野狼第一精品社区
|
国内精品久久久久久久影视麻豆
|
久久国产精品免费一区
|
国产精品成人国产乱一区
|
香港aa三级久久三级老师2021国产三级精品三级在
|
国产精品99久久久久久宅男
|
日韩亚洲人成在线综合
|
亚洲熟妇AV日韩熟妇在线
|
在线观看亚洲AV日韩A∨
|
亚洲欧洲日韩国产一区二区三区
|
日韩精品无码免费专区午夜
|
凹凸精品视频分类国产品免费
|
中美日韩在线网免费毛片视频
|
中文字幕日韩精品在线
|
日韩一级视频在线观看播放
|
四虎AV永久在线精品免费观看
|
国产热re99久久6国产精品
|
国产精品成人va在线播放
|
国产乱子伦精品免费女
|
久久精品视频免费看
|
久热re这里只有精品视频
|
久久九九国产精品怡红院
|
久久亚洲精品人成综合网
|
日韩精品一区二区三区中文
|
久久ww精品w免费人成
|