Fault tolerant computers; Case studies; Computer control systems; Corrections; Errors; Formal methods; Safety; Verification;
机译:使用事件B严格开发信息检索系统的容错事务
机译:使用事件B严格开发信息检索系统的容错事务
机译:严格建模自稳定的容错电路:片上系统的超鲁棒时钟方案
机译:通过协同优化来严格开发容错系统
机译:缺陷和容错纳米计算系统的设计和分析。
机译:严格建模自稳定的容错电路:片上系统的超鲁棒时钟方案
机译:通过共同化解严格地发展容错系统
机译:计算科学:一种严格开发容错系统的方法。