机译:使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
机译:离散事件系统方法来区分间歇性故障和永久性故障
机译:从时间触发的分布式系统中的间歇性故障中进行透明恢复
机译:使用智能诊断方案在容错系统中进行故障检测,以消除导致数字系统故障的间歇性和永久性故障
机译:具有间歇性和永久性故障的离散事件系统中的故障恢复。
机译:伴有间歇性低血糖和肝功能衰竭的KCNJ11 / Q52R突变患者的永久性糖尿病
机译:用于区分间歇性故障和永久性故障的离散事件系统方法
机译:数字系统中的间歇/瞬态故障