故障注入形式化模型研究
고장주입형식화모형연구
Study of the formal fault injection model
  • 万方数据
    微计算机信息 미계산궤신식
    CONTROL & AUTOMATION
    2007年 22期 198-199,227 ,共3页

    李雅峰%沙晓光%李会杰

    리아봉%사효광%리회걸

    故障注入%容错 故障註入%容錯
    고장주입%용착
    本文在讨论了故障和容错机制与故障注入模型相关的几个问题之后,提出了一种形式化的故障注入模型框架,并给出了其应用算法.
    본문재토론료고장화용착궤제여고장주입모형상관적궤개문제지후,제출료일충형식화적고장주입모형광가,병급출료기응용산법.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문