automatic addition of fault-tolerance; formal methods; detectors; correctors; distributed programs;
机译:多级逆变器中的开路容错具有减少的组件计数
机译:基于组件的嵌入式系统中的被动容错管理
机译:基于组件的嵌入式系统中的被动容错管理
机译:使用预合成的组件添加容错容量
机译:基于模型的分布式实时嵌入式系统的模型驱动的容错配置。
机译:基于主成分分析的虾糜素加入淀粉和3D可印刷性的流变和纹理性质的关系
机译:规范模型对添加掩蔽容错复杂性的影响1