机译:容错系统的可靠性-硬件和软件组件交互的显式建模
机译:容错系统的可靠性-硬件和软件组件交互的显式建模
机译:具有容错软件组件的软硬件系统的可靠性和性能分析
机译:容错系统的可靠性-硬件和软件组件之间交互的显式建模
机译:建模硬件和软件容错系统。
机译:基于UML的软件开发中的可靠性建模和评估
机译:从领域模型到组件-面向可靠软件开发的正式转换方法
机译:组合硬件软件可靠性模型研究。第1卷。概述和摘要。第2卷。通过内置测试和硬件 - 软件交互来近似复杂系统的可用性。第3卷。可用性