民航业务系统相关论文
民航作为社会发展和国民经济的重要领域，是一项高投入、高技术和高风险的行业。民航业务系统安全水平是影响和制约民航业务发展的重......
民航业务系统正确处理民航业务逻辑是民航企业运行的必要条件，因此民航业务系统的安全性十分重要，形式化验证方法是保障系统安全性的......
