EADS Astrium 66, Route de Verneuil 78133 Les Mureaux Cedex France Email: albert.jou@astrium.eads.net;
机译:飞行软件开发与验证工作流管理系统
机译:端到端正式规范,验证和验证过程:太空飞行软件的案例研究
机译:787软件验证中的模拟飞行第一步
机译:验证ARIANE 5 OBC-C飞行软件
机译:使用分析和参数识别技术,经过飞行验证的无人机直升机在悬停和向前飞行中的高阶模型。
机译:NASA太空飞行软件的软件可靠性分析:实践经验
机译:Ariane-5启动器的软件架构建模和验证and
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件