综合模块化航空电子架构相关硕士博士期刊学术论文

分析和总结了国内外在机载分区操作系统建模及验证方面的研究成果,指出了存在着验证工作不充分性、建模与验证方法单一性等问题;提......