University of Minnesota.;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:机载安全关键软件的生命周期模型
机译:安全关键嵌入式软件的软件测试技术
机译:使用软件架构技术来支持安全关键系统的模块化认证
机译:实时操作系统的低功耗软件技术分析。
机译:使用常规和数字软件分析技术对牙列正常的人和咬合磨损的人的Spee曲线深度进行比较评估:一项体内研究
机译:安全分析实证评估的对照实验 安全关键软件的技术
机译:提高安全关键软件 - Reliant系统质量的四大支柱。