搜索到 篇“ HORN逻辑 “的相关文章

相关作者

李舟军
作品数：266被引量：1,866H指数：22
供职机构：北京航空航天大学计算机学院
研究主题：安全协议 数据挖掘 信息检索 网络安全 形式化验证
李梦君
作品数：47被引量：290H指数：10
供职机构：国防科学技术大学计算机学院
研究主题：安全协议 形式化验证 安全协议验证 进程代数 虚拟现实
陈火旺
作品数：242被引量：2,263H指数：26
供职机构：国防科学技术大学计算机学院
研究主题：人工智能 程序设计 计算机 遗传算法 软件工程
周倜
作品数：30被引量：32H指数：4
供职机构：北京航天飞行控制中心
研究主题：安全协议 形式化验证 遥测 认证性 HORN逻辑
张伟
作品数：19被引量：38H指数：3
供职机构：东北大学信息科学与工程学院
研究主题：多目标进化算法 多径传输 高维 OMNET++ 多径