Safety; Software; Aerospace electronics; Standards organizations; Organizations; Context; Certification;
机译:使用语言工作台和特定领域的语言进行安全性至关重要的软件开发
机译:使用语言Workbenches和特定于域的语言进行安全关键软件开发
机译:安全关键软件开发统一框架的开发方法
机译:安全关键软件开发中的域参数
机译:使用模型驱动的体系结构为关键任务域提供基于支持保证的软件开发
机译:敏捷方法的开源安全关键软件
机译:一种开发安全关键软件和安全论证的迭代方法