久久久91-久久久91精品国产一区二区-久久久91精品国产一区二区三区-久久久999国产精品-久久久999久久久精品

ABB
關(guān)注中國自動(dòng)化產(chǎn)業(yè)發(fā)展的先行者！
橫河電機(jī)25年9月
工業(yè)智能邊緣計(jì)算2025年會(huì)
2025工業(yè)安全大會(huì)
CAIAC 2025
OICT公益講堂
當(dāng)前位置：首頁 >> 名篇 >> 名家名篇

名家名篇

提高核電儀控系統(tǒng)軟件安全性的驗(yàn)證技術(shù)研究
  • 廠商：《自動(dòng)化博覽》
  • 作者：尹寶娟
  • 點(diǎn)擊數(shù)：2599     發(fā)布時(shí)間：2012-10-10 15:24:00
  • 分享到：
由于軟件技術(shù)在核電站中的應(yīng)用日益廣泛，其安全性顯得越發(fā)重要；而對提高軟件安全性的分析驗(yàn)證技術(shù)和方法的研究將進(jìn)一步促進(jìn)核電儀控軟件的應(yīng)用。本文將對核電站儀控系統(tǒng)軟件開發(fā)全生命周期中的若干提高軟件安全性的驗(yàn)證技術(shù)與方法進(jìn)行闡述，包括：可追蹤性分析、危險(xiǎn)分析、安全性測試等。
關(guān)鍵詞：
請登錄以后訪問所有功能！
登錄  注冊

相關(guān)文章

熱點(diǎn)新聞

推薦產(chǎn)品

主站蜘蛛池模板： 中文字幕yellow在线资源| 欧美毛片| 韩国一级特黄清高免费大片| 亚洲精品成人456在线播放| 色婷婷综合激情视频免费看| 12306播播影院午夜爱我影院| 久久免费香蕉视频| 亚洲高清一区二区三区久久| 91视频社区| 伊人青青视频| 国产精品成人亚洲| 久久免费高清视频| 亚州中文字幕| 久久香蕉国产观看猫咪3atv| 亚洲欧美中日韩中文字幕| 国产免费一级高清淫日本片| 韩国免费播放一级毛片| 高中生精品视频在线观看| 午夜国产精品理论片久久影院| 日本一级特黄在线播放| 欧美人妖xxx| 特级av毛片免费观看| 国产影片在线观看| 亚洲欧美综合在线观看| 日本va视频| 年轻人www影视| 免费黄网址| 国产精品区一区二区免费| 黄色污在线观看| 精品三级国产一区二区三区四区| 亚洲一色| 三极片免费看| 日本a在线观看| 日本特黄特色大片免费视频观看| 乱爱性全过程免费视频| 国产欧美日韩看片片在线人成| 成人午夜视频免费| 美女污污视频网站| 亚洲一区二区三区播放在线 | 国产三级在线观看视频不卡| 99国产成+人+综合+亚洲 欧美|