2024年7月15日
星期一
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
HORN逻辑
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
李舟军
作品数:263
被引量:1,804
H指数:22
供职机构:北京航空航天大学
研究主题:安全协议 数据挖掘 网络安全 形式化验证 信息检索
李梦君
作品数:47
被引量:290
H指数:10
供职机构:国防科学技术大学计算机学院
研究主题:安全协议 形式化验证 安全协议验证 进程代数 虚拟现实
陈火旺
作品数:242
被引量:2,290
H指数:25
供职机构:国防科学技术大学计算机学院
研究主题:人工智能 程序设计 计算机 遗传算法 软件工程
周倜
作品数:28
被引量:32
H指数:4
供职机构:北京航天飞行控制中心
研究主题:安全协议 形式化验证 遥测 认证性 HORN逻辑
张伟
作品数:17
被引量:34
H指数:3
供职机构:东北大学信息科学与工程学院
研究主题:多径传输 OMNET++ 多径 ABET HORN逻辑
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张