...
机译:针对DO-178安全关键型应用程序的C ++软件开发
Safe Software Consulting Inc. in Alameda,Calif;
The North America operations manager for Programming Research Inc. in Boston;
机译:适用于安全关键型应用的基于实时内核的可编程逻辑控制器的软件认证:工具和技术
机译:安全关键应用程序的软件测试-实时自动化系统的功能和性能测试
机译:为安全关键型应用授权可靠的嵌入式软件
机译:C ++中的安全关键软件开发
机译:视觉时代的C ++扩展API软件工具开发:
机译:第三本书:医疗领域的科学研究应用:软件开发方法论和用户软件工程方法论
机译:测试设备的开发及其在安全关键软件验证和可靠性测试中的应用
机译:安全关键医疗应用的软件开发