2024年8月21日
星期三
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
张健
作品数:
33
被引量:43
H指数:1
供职机构:
中国科学院软件研究所
更多>>
发文基金:
国家自然科学基金
国家重点基础研究发展计划
更多>>
相关领域:
自动化与计算机技术
交通运输工程
机械工程
农业科学
更多>>
合作作者
赵军锁
中国科学院软件研究所
詹乃军
中国科学院软件研究所
晏荣杰
中国科学院软件研究所
吴凤鸽
中国科学院软件研究所
蔡彦
中国科学院软件研究所
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
49个
自动化与计算...
16个
文化科学
15个
电子电信
14个
经济管理
14个
理学
9个
机械工程
6个
航空宇航科学...
6个
自然科学总论
5个
交通运输工程
5个
医药卫生
4个
天文地球
4个
政治法律
3个
化学工程
3个
金属学及工艺
3个
电气工程
3个
环境科学与工...
3个
农业科学
3个
一般工业技术
3个
社会学
3个
军事
主题
25个
计算机
25个
操作系
25个
操作系统
23个
网络
20个
软件测试
18个
形式化
18个
用户
17个
代码
17个
调度
17个
数据库
16个
神经网
16个
神经网络
15个
嵌入式
15个
国产操作系统
14个
软件开发
13个
映射
12个
源代码
12个
软件系统
12个
软件质量
10个
虚拟机
机构
37个
中国科学院软...
7个
中国科学院
5个
国防科学技术...
4个
中国人民大学
3个
武汉大学
3个
教育部
3个
中国科学院大...
2个
浙江大学
2个
中国科学院研...
2个
国防科技大学
1个
哈尔滨工程大...
1个
大连理工大学
1个
复旦大学
1个
贵阳学院
1个
东南大学
1个
广西大学
1个
北京林业大学
1个
北京人民警察...
1个
大连医科大学
1个
哈尔滨工业大...
资助
36个
国家自然科学...
25个
国家高技术研...
20个
国家重点基础...
10个
国家科技重大...
6个
北京市自然科...
5个
国家重点实验...
5个
中央高校基本...
4个
国防科技技术...
4个
国家科技支撑...
4个
国家杰出青年...
4个
国家教育部博...
4个
中国科学院“...
4个
中国科学院知...
3个
国家科技攻关...
3个
中国博士后科...
3个
“九五”国家...
3个
教育部“新世...
3个
中国科学院知...
2个
The Ro...
2个
安徽省自然科...
传媒
27个
软件学报
18个
计算机科学
17个
计算机研究与...
16个
计算机应用
14个
小型微型计算...
13个
计算机学报
13个
计算机工程与...
12个
计算机工程
12个
计算机应用研...
11个
计算机工程与...
9个
电子学报
9个
计算机应用与...
7个
微电子学与计...
7个
信息安全学报
6个
清华大学学报...
6个
计算机系统应...
6个
计算机科学与...
5个
计算机工程与...
5个
中国科学:信...
4个
通信学报
地区
43个
北京市
3个
湖南省
1个
安徽省
1个
湖北省
1个
江苏省
共
49
条 记 录,以下是 1-10
全选
清除
导出
詹乃军
供职机构:中国科学院软件研究所
研究主题:形式化方法 软件开发 人工智能 形式规约 形式化验证
发表作品
相关人物
供职机构
所获资助
研究领域
赵军锁
供职机构:中国科学院软件研究所
研究主题:卫星 星载 天基 卫星姿态 神经网络
发表作品
相关人物
供职机构
所获资助
研究领域
晏荣杰
供职机构:中国科学院软件研究所
研究主题:仿真测试 自动驾驶系统 软件复用 软件体系结构 软件工程
发表作品
相关人物
供职机构
所获资助
研究领域
吴凤鸽
供职机构:中国科学院软件研究所
研究主题:卫星 卫星姿态控制 卫星姿态 测控 自适应
发表作品
相关人物
供职机构
所获资助
研究领域
蔡彦
供职机构:中国科学院软件研究所
研究主题:线程 软件测试 死锁 数据竞争 并发
发表作品
相关人物
供职机构
所获资助
研究领域
陈柏强
供职机构:中国科学院软件研究所
研究主题:测试数据 参量 检错 多参量 自然数
发表作品
相关人物
供职机构
所获资助
研究领域
徐辰
供职机构:中国科学院软件研究所
研究主题:测试数据自动生成 测试数据 EFSM 反例 形式化方法
发表作品
相关人物
供职机构
所获资助
研究领域
王晓旭
供职机构:中国科学院软件研究所
研究主题:软件测试 有限状态自动机 测试数据生成 测试数据自动生成 测试数据
发表作品
相关人物
供职机构
所获资助
研究领域
梁彬
供职机构:中国人民大学信息学院
研究主题:漏洞 细粒度 漏洞检测 植入 ANDROID
发表作品
相关人物
供职机构
所获资助
研究领域
张智强
供职机构:中国科学院软件研究所
研究主题:测试用例 被控系统 二分搜索 黑盒 快速定位方法
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共5页
<
1
2
3
4
5
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张