• <menu id="qseaa"><tt id="qseaa"></tt></menu><nav id="qseaa"><tt id="qseaa"></tt></nav>
    <optgroup id="qseaa"><tt id="qseaa"></tt></optgroup>
  • <object id="qseaa"><acronym id="qseaa"></acronym></object><input id="qseaa"></input>
    <menu id="qseaa"></menu>
  • <nav id="qseaa"><u id="qseaa"></u></nav>
  • <object id="qseaa"></object>
  • <input id="qseaa"></input><menu id="qseaa"></menu>
  • <s id="qseaa"></s>
  • <menu id="qseaa"><u id="qseaa"></u></menu>
  • <input id="qseaa"></input>
    ACS880-07C
    關注中國自動化產業發展的先行者!
    CAIAC 2025
    2024
    工業智能邊緣計算2024年會
    2023年工業安全大會
    OICT公益講堂
    當前位置:首頁 >> 名篇 >> 名家名篇

    名家名篇

    提高核電儀控系統軟件安全性的驗證技術研究
    • 廠商:《自動化博覽》
    • 作者:尹寶娟
    • 點擊數:2194     發布時間:2012-10-10 15:24:00
    • 分享到:
    由于軟件技術在核電站中的應用日益廣泛,其安全性顯得越發重要;而對提高軟件安全性的分析驗證技術和方法的研究將進一步促進核電儀控軟件的應用。本文將對核電站儀控系統軟件開發全生命周期中的若干提高軟件安全性的驗證技術與方法進行闡述,包括:可追蹤性分析、危險分析、安全性測試等。
    關鍵詞:
    請登錄以后訪問所有功能!
    登錄  注冊

    相關文章

    熱點新聞

    推薦產品

  • <menu id="qseaa"><tt id="qseaa"></tt></menu><nav id="qseaa"><tt id="qseaa"></tt></nav>
    <optgroup id="qseaa"><tt id="qseaa"></tt></optgroup>
  • <object id="qseaa"><acronym id="qseaa"></acronym></object><input id="qseaa"></input>
    <menu id="qseaa"></menu>
  • <nav id="qseaa"><u id="qseaa"></u></nav>
  • <object id="qseaa"></object>
  • <input id="qseaa"></input><menu id="qseaa"></menu>
  • <s id="qseaa"></s>
  • <menu id="qseaa"><u id="qseaa"></u></menu>
  • <input id="qseaa"></input>
    啊灬啊灬啊灬快灬深用力试看