科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
崔利杰; 任博; 李泽;
空军工程大学装备管理与安全工程学院 陕西西安 710052;
机载软件; 适航; D-178B/C; 审查流程; 审查要点;
机译:建模安全性和适航性(RTCA DO-178B)信息:概念模型和UML配置文件
机译:DO-178B的下一版“ DO-178C”侧重于形式化方法和基于模型的开发
机译:基于DO-333的机载软件正式分析与验证
机译:基于DO-178B标准的机载软件测试覆盖分析
机译:用于开发适航性投诉(RTCA DO-178B)安全关键软件的UML配置文件。
机译:支持适航性认证的无人机飞行控制系统的实时可靠性验证
机译:基于DO-178B标准的机载软件测试的覆盖率分析
机译:美国宇航局阿姆斯特朗飞行研究中心适航和飞行安全审查流程概述。
机译:审查和审查研究小组成员的方法和系统
机译:包括毒性和风险评估研究在内的研究中的审查系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。