机译:基于可靠性框图的基于系统退化的SIL验证新方法
机译:使用可靠性框图根据系统降级对具有各种冗余的SRS进行SIL验证
机译:用于空间结构系统可靠性分析的可靠性框图方法
机译:系统可靠性建模的正式语义与动态可靠性框图的验证
机译:基于图的离散,实时和混合系统验证。
机译:VMAT的基于DVH的计划验证方法的比较:ArcCHECK-3DVH系统和基于dynalog的剂量重建
机译:基于Devs形式主义的动态可靠性框图GPU加速可靠性分析方法
机译:直升机水槽延迟/改进水下稳定系统的可靠性和可维修性方块图和数学模型。