2024年7月27日
星期六
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
王晓旭
作品数:
3
被引量:3
H指数:1
供职机构:
中国科学院软件研究所
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
徐辰
中国科学院软件研究所
张健
中国科学院软件研究所
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
2个
自动化与计算...
1个
机械工程
1个
交通运输工程
1个
农业科学
1个
自然科学总论
主题
2个
形式规约
2个
形式化
2个
形式化方法
2个
有限状态自动...
2个
软件测试
1个
代码
1个
代码分析
1个
地图
1个
地图模型
1个
迭代
1个
定理
1个
多参量
1个
多参数系统
1个
星载
1个
星载软件
1个
引用计数
1个
应用程序
1个
硬件
1个
映射
1个
源代码
机构
2个
中国科学院软...
资助
1个
国家重点基础...
1个
国家自然科学...
传媒
2个
第六届中国人...
1个
自然杂志
1个
软件学报
1个
计算机科学
1个
计算机科学与...
1个
中国科学:信...
1个
科技纵览
1个
2004年全...
1个
中国科学院计...
1个
第九届中国科...
地区
2个
北京市
共
2
条 记 录,以下是 1-2
全选
清除
导出
徐辰
供职机构:中国科学院软件研究所
研究主题:测试数据自动生成 测试数据 EFSM 反例 形式化方法
发表作品
相关人物
供职机构
所获资助
研究领域
张健
供职机构:中国科学院软件研究所
研究主题:仿真测试 软件测试 自动驾驶系统 测试数据 自动驾驶
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张