登录
免费注册
赞
分享
科研之友
微信
新浪微博
Facebook
分享链接
田聪
xidian university
/
科研之友号:73479711
科研之友人员唯一编号
手机:
1357****501
/
邮箱:
tico_t****@163.com
4
项目
177
成果
3691
阅读
0
下载
367
被引
9
H-指数
主页
成果
工作经历
xidian university
2000至现在
教育经历
xidian university
2000-08至2009-12
由于隐私设置,内容未完全显示
期刊论文
(0)
close
会议论文
(0)
close
专利
(0)
close
奖励
(0)
close
书/著作
(0)
close
书籍章节
(0)
close
学位论文
(0)
close
标准
(0)
close
软件著作权
(0)
close
其他
(0)
close
EI
(0)
close
SCIE
(0)
close
SSCI
(0)
close
ISTP
(0)
close
CSSCI
(0)
close
北大核心
(0)
close
(0)
close
(0)
close
(0)
close
不限
(0)
close
最新修改
引用
学科分类
计算机科学的基础理论
系统软件、数据库与工业软件
软件理论、软件工程与服务
关键词
模型检测
形式化验证
相关人员
更多
当前人员不存在或主页设为隐私,无法查看