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