Airbus France S.A.S., 316, route de Bayorme, 31060 TOULOUSE Cedex 9, France;
rnCEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 94, Gif-sur-Yvette, F-91191 France;
rnCEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 94, Gif-sur-Yvette, F-91191 France;
rnAirbus France S.A.S., 316, route de Bayorme, 31060 TOULOUSE Cedex 9, France;
rnCEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 94, Gif-sur-Yvette, F-91191 France;
rnCEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 94, Gif-sur-Yvette, F-91191 France;
机译:安全关键型航空电子系统的软件认证:DO-178C及其影响
机译:安全关键型航空电子系统的软件和硬件认证:比较研究
机译:MathWorks,用于航空电子和其他对安全至关重要的软件
机译:朝着安全关键航空电子软件的工业使用波动
机译:通过统计测试为安全关键型军用航空电子系统演示软件可靠性。
机译:敏捷方法的开源安全关键软件
机译:在安全关键型航空电子软件上实现Fluctuat的工业应用