2024年8月19日
星期一
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
中央级公益性科研院所基本科研业务费专项(JY10000903014)
作品数:
1
被引量:2
H指数:1
相关作者:
周清雷
朱维军
张海宾
更多>>
相关机构:
西安电子科技大学
郑州大学
更多>>
发文基金:
陕西省科技攻关计划
河南省科技攻关计划
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
3个
生物学
3个
自动化与计算...
2个
天文地球
2个
电子电信
2个
文化科学
1个
经济管理
1个
交通运输工程
1个
医药卫生
1个
一般工业技术
1个
社会学
1个
自然科学总论
1个
理学
主题
3个
信息安全
3个
形式化
3个
优化算法
3个
有向图
2个
导出子图
2个
多核
2个
形式化验证
1个
代理
1个
代理体系结构
1个
代码
1个
代码加密
1个
蛋白
1个
蛋白质
1个
蛋白质序列
1个
道岔
1个
道路交通
1个
道路交通安全
1个
盗版
1个
等价
1个
等价关系
机构
2个
郑州大学
2个
西安电子科技...
1个
解放军信息工...
1个
河南工业大学
资助
3个
国家高技术研...
3个
国家重点基础...
3个
国家自然科学...
3个
河南省科技攻...
3个
陕西省科技攻...
3个
中国博士后科...
3个
中央级公益性...
3个
国家教育部博...
3个
中央高校基本...
2个
国家科技支撑...
2个
河南省教育厅...
2个
河南省自然科...
2个
河南省基础与...
2个
河南省高等学...
1个
山东省自然科...
1个
河南省教育厅...
1个
河南省教育厅...
1个
河南省杰出青...
1个
河南省科技发...
1个
山东省艺术科...
传媒
3个
电子学报
3个
华中科技大学...
3个
华南理工大学...
3个
电子科技大学...
3个
计算机科学
2个
计算机研究与...
2个
通信学报
2个
计算机学报
2个
信阳师范学院...
2个
河南师范大学...
2个
计算机应用与...
2个
微电子学与计...
2个
西安交通大学...
2个
小型微型计算...
2个
软件学报
2个
河南科学
2个
计算机工程与...
2个
微计算机信息
2个
西安电子科技...
2个
网络安全技术...
地区
2个
河南省
1个
陕西省
共
3
条 记 录,以下是 1-3
全选
清除
导出
张海宾
供职机构:西安电子科技大学
研究主题:区间时序逻辑 时序逻辑 可满足性判定 虚拟机 形式化验证
发表作品
相关人物
供职机构
所获资助
研究领域
朱维军
供职机构:郑州大学
研究主题:自动机 防御 拟态 时间自动机 时序逻辑
发表作品
相关人物
供职机构
所获资助
研究领域
周清雷
供职机构:郑州大学
研究主题:时间自动机 FPGA 图形处理器 自动机 安全协议
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张