机译:使用软件故障树进行以安全为重点的验证*
Korea University, Department of Computer Science and Engineering, Anam-dong Seongbuk-gu, Seoul 136-701, Republic of Korea;
Konkuk University, Division of Computer Science and Engineering, 1 Hwayang-dong, Gwangjin-gu, Seoul 143-701, Republic of Korea;
safety analysis; software fault tree; software verification; combinational equivalence checking;
机译:航空软件安全/安保验证的故障树分析
机译:使用软件故障树对Ada程序进行安全验证
机译:在容错处理器上使用故障注入技术进行软件可靠性验证和验证
机译:使用定量故障树分析(FTA)验证软件控制类别(SCCS)
机译:高效的硬件和软件技术,用于设计验证以及故障和设计分析
机译:故障:用于元编程的Python嵌入式域特定语言用于Metogrogramming便携式硬件验证组件
机译:航空软件安全/安保验证的故障树分析
机译:软件树:故障树技术应用于软件。调整