Concordia University (Canada).;
机译:使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
机译:离散事件系统方法来区分间歇性故障和永久性故障
机译:从时间触发的分布式系统中的间歇性故障中进行透明恢复
机译:使用智能诊断方案在容错系统中进行故障检测,以消除导致数字系统故障的间歇性和永久性故障
机译:离散事件系统中的分层模块化故障恢复
机译:诱导型小鼠模型中的急性聚谷氨酰胺表达消除了泛素/蛋白酶体系统的损伤和由于聚集物形成引起的永久性恢复
机译:具有间歇性和永久性故障的离散事件系统中的故障恢复
机译:数字系统中的间歇/瞬态故障