Software engineering; Flight control systems; Aviation safety; Computer programs; Risk; Flight instruments; Systems analysis; Quality assurance; Computer aided diagnosis; Safety assurance; Vms(Vehicle management system); Emd(Engineering manufacturing development);
机译:水泥行业计算机辅助安全生产效率SAPR软件的开发与应用
机译:计算机控制系统的安全性:软件开发的挑战和结果
机译:通过故障树增强软件安全性:从应用程序到飞行关键软件的经验
机译:基于功能安全的碰撞检测和安全约束系统控制算法的开发:从嵌入式应用软件功能安全开发过程的角度
机译:安全关键型计算机控制系统的软件生命周期和分析技术。
机译:医疗保健中的计算机应用。医院中的计算机系统。临床和解剖病理学系统:基于微机的软件在病理学中编码和检索医学信息
机译:1994年蒙特利研讨会的论文集,增加了计算机辅助软件开发的正式方法的实际影响:大型软件系统的演化控制,用于集成软件开发环境的技术