2024年8月20日
星期二
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家自然科学基金(60273025)
作品数:
2
被引量:2
H指数:1
相关作者:
晏荣杰
徐雨波
张文亮
唐稚松
更多>>
相关机构:
中国科学院软件研究所
更多>>
发文基金:
国家自然科学基金
国家重点基础研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
4个
自动化与计算...
2个
经济管理
1个
机械工程
1个
电子电信
1个
交通运输工程
1个
文化科学
1个
语言文字
1个
文学
1个
自然科学总论
1个
兵器科学与技...
主题
3个
时间自动机
3个
实时系统
2个
形式化
2个
语言
2个
软件产业
2个
软件工程
2个
软件开发
2个
软件体系结构
2个
数据结构
1个
代理
1个
代理机构
1个
地图
1个
地图模型
1个
电信
1个
电信领域
1个
调度
1个
迭代
1个
动画
1个
动画设计
1个
多处理机
机构
4个
中国科学院软...
1个
北京邮电大学
1个
暨南大学
1个
苏州大学
1个
中国科学院
1个
重庆师范大学
1个
华北电力大学
资助
4个
国家重点基础...
4个
国家自然科学...
2个
国家高技术研...
1个
江苏省自然科...
1个
重庆市应用基...
1个
国家科技重大...
1个
“九五”国家...
1个
江苏省普通高...
1个
苏州市科技计...
1个
中央高校基本...
1个
重庆市自然科...
传媒
3个
计算机学报
3个
软件学报
2个
计算机应用研...
1个
中华诗词
1个
大自然探索
1个
哲学研究
1个
计算机研究与...
1个
通信学报
1个
科技导报
1个
计算机应用
1个
重庆师范学院...
1个
计算机工程与...
1个
计算机仿真
1个
航空计算技术
1个
华北电力大学...
1个
山西电子技术
1个
计算机科学
1个
浙江大学学报...
1个
淮阴师范学院...
1个
中国科学:信...
地区
4个
北京市
共
4
条 记 录,以下是 1-4
全选
清除
导出
晏荣杰
供职机构:中国科学院软件研究所
研究主题:仿真测试 自动驾驶系统 软件复用 软件体系结构 软件工程
发表作品
相关人物
供职机构
所获资助
研究领域
徐雨波
供职机构:中国科学院软件研究所
研究主题:模型检测工具 实时系统 时间自动机 可达性 数据结构
发表作品
相关人物
供职机构
所获资助
研究领域
张文亮
供职机构:中国科学院软件研究所
研究主题:SCC
发表作品
相关人物
供职机构
所获资助
研究领域
唐稚松
供职机构:中国科学院
研究主题:时序逻辑语言 XYZ/E 时序逻辑 软件工程 XYZ系统
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张