软件生存期的可靠性保证

机译：嵌入式控制软件基于自动机的调度中的可靠性保证

机译：增强安全关键软件的可靠性和质量保证框架

机译：基于框架的安全关键软件的可靠性和质量保证方法

机译：随机需求，生存期和生存期下销售损失的易变质库存排队模型

机译：两个常用软件可靠性模型的经典和贝叶斯方法对软件可靠性评估的比较

机译：使用结构化保证案例模型的软件保证

机译：软件可靠性统计检验的保证能力研究

机译：软件工具在军事系统内嵌入式计算机中的应用，以提高软件的可靠性，质量保证和维护

机译：脆性材料制成的产品的可靠性保证方法，制造方法，可靠性保证装置和可靠性保证程序

机译：软件可靠性预测设备，软件可靠性预测程序和计算机可读存储介质记录软件可靠性预测程序

机译：软件可靠性增长模型选择方法，软件可靠性增长模型选择装置，软件可靠性增长模型选择程序和程序记录介质