Fault tolerant computing; Computer architecture; Computer programming; Computer program reliability; Error analysis; Computer program verification; Multiprocessors; Avionics; Real time; Debugging(Computers); Experimental data; Tables(Data); Fortran; Failure; Integr;
机译:具有容错软件组件的软硬件系统的可靠性和性能分析
机译:大型N的N版本容错软件系统的成本建模
机译:软件容错系统的可靠性建模和评估
机译:容错系统的可靠性-硬件和软件组件之间交互的显式建模
机译:面向容错软件系统的基于覆盖率的测试策略和可靠性建模。
机译:严格建模自稳定的容错电路:片上系统的超鲁棒时钟方案
机译:容错系统的可靠性 - 硬件和软件组件之间的交互的显式建模