2024年7月5日
星期五
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家重点实验室开放基金(SYSKF0909)
作品数:
1
被引量:0
H指数:0
相关作者:
武术
易秋萍
刘剑
更多>>
相关机构:
中国科学院软件研究所
中国科学院研究生院
更多>>
发文基金:
中国科学院知识创新工程重要方向项目
国家重点实验室开放基金
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
3个
自动化与计算...
2个
文化科学
主题
3个
系统设计
3个
系统设计和实...
3个
安全操作
3个
安全操作系统
3个
VMM
3个
HASKEL...
3个
操作系
2个
迭代
2个
断言
2个
多线程
2个
多线程程序
2个
修护
2个
异常值
2个
语句
2个
原子性
2个
软件模型
2个
软件模型检测
2个
自动化
2个
自动化测试
2个
线程
机构
3个
中国科学院软...
1个
中国科学院研...
1个
中国科学院大...
资助
3个
国家重点实验...
3个
中国科学院知...
2个
国家自然科学...
1个
国家科技重大...
1个
载人航天领域...
1个
中国科学院知...
传媒
3个
计算机科学
2个
计算机应用与...
2个
计算机系统应...
1个
清华大学学报...
1个
软件学报
1个
载人航天
1个
第五届信息安...
地区
3个
北京市
共
3
条 记 录,以下是 1-3
全选
清除
导出
易秋萍
供职机构:中国科学院软件研究所
研究主题:初始化 层次化 测试用例 裁剪 软件模型检测
发表作品
相关人物
供职机构
所获资助
研究领域
武术
供职机构:中国科学院软件研究所
研究主题:HASKELL VMM 安全操作系统 系统设计和实现 MONAD
发表作品
相关人物
供职机构
所获资助
研究领域
刘剑
供职机构:中国科学院软件研究所
研究主题:初始化 ANDROID 漏洞分析 系统代码 传值进程
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张