形式化方法在机载网络开发中的应用研究期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

形式化方法在机载网络开发中的应用研究

作者单位：	航空工业西安航空计算技术研究所,陕西西安710000;西北工业大学,陕西西安710000;航空工业西安航空计算技术研究所,陕西西安710000

摘要：
关键词：	机载网络形式化方法协议验证确定性
本文献已被万方数据等数据库收录！