机译:计划安全关键的时间触发航空电子系统的定期任务图
机译:安全关键型航空电子系统的软件认证:DO-178C及其影响
机译:安全关键型航空电子系统的软件和硬件认证:比较研究
机译:建筑驱动安全关键航空系统的保证
机译:通过统计测试为安全关键型军用航空电子系统演示软件可靠性。
机译:安全关键型差分GNSS系统的电离层空间解相关与空间天气强度之间的相关性
机译:安全关键航空电子技术新计算平台的保证策略
机译:saE航空电子架构描述语言(aaDL)标准:基于模型的架构驱动的嵌入式系统工程的基础。