机译:节食的故障树:通过图形重写自动减少故障
Rhein Westfal TH Aachen, Software Modeling & Verificat, Aachen, Germany;
Univ Twente, Formal Methods & Tools, Enschede, Netherlands;
Rhein Westfal TH Aachen, Software Modeling & Verificat, Aachen, Germany|Univ Twente, Formal Methods & Tools, Enschede, Netherlands;
Univ Twente, Formal Methods & Tools, Enschede, Netherlands;
Univ Twente, Formal Methods & Tools, Enschede, Netherlands;
Fault tree analysis; Dynamic fault trees; Reliability; Graph rewriting;
机译:饮食中的故障树:通过图形重写自动减少
机译:地面树重写图的一阶理论的复杂性
机译:地面树重写图的一阶理论
机译:饮食上的故障树:通过图重写自动还原
机译:重写减少和修剪Munn树。
机译:冠状动脉CT血管造影术(cCTA):多个阶段的冠状动脉树的自动注册
机译:有界树宽度的地面树重写图
机译:GRaFTED - GRaphical Fault Tree EDitor:针对目标漏洞/生存性分析的故障树描述程序。用户手册。