机译:检查沿数字数据总线MIL-1553B集成的航空电子系统中软件应用程序可靠性的方法
机译:模型检查智能航空电子系统,用于使用多功能机构生成测试用例
机译:基于模型检查的航空电子系统故障分析与验证
机译:航空电子系统的软件模型检查
机译:分布式系统软件模型检查的算法,启发式和系统方法
机译:使用DNA序列和微卫星数据通过软件DIYABC(v1.0)推断种群历史并进行模型检查
机译:检查沿数字数据库MIL-1553B集成的航空系统中软件应用程序可靠性的方法
机译:使用软件度量和可靠性模型为航空电子系统的飞行和地面支持软件获得可接受的质量软件