关于
首页
新闻动态
机构人员
组织结构
人员队伍
学术研究
研究方向与内容
奖励与荣誉
标准与规范
专著与教材
软件著作权
项目
论文
专利
开放与交流
开放课题
交流互访
年度报告
2018
2017
2016
2015
2019
2020
2021
2022
运行管理
管理规章
资源共享
Open Menu
首页
新闻动态
机构人员
组织结构
人员队伍
学术研究
研究方向与内容
奖励与荣誉
标准与规范
专著与教材
软件著作权
项目
论文
专利
开放与交流
开放课题
交流互访
年度报告
2018
2017
2016
2015
2019
2020
2021
2022
运行管理
管理规章
资源共享
年度报告
2018
2017
2016
2015
2019
2020
2021
2022
首页
>>
年度报告
2015年度报告
批准立项年份2007.2通过验收年份2008.12 教育部重点实验室年度报告(2015年1月——2015年12月) 实验室名称:高可信软件技术教育部重点实验室实验室主任:梅宏实验室联系人/联系电话:金芝E-mail地址:zhijin@pku.edu.cn...
2018
annual-2018.pdf — 1.6 MB
2017
annual-2017.pdf — 2.4 MB
2016
annual-2016.pdf — 545.9 KB
2015
annual-2015.pdf — 471.6 KB
首页
上页
1
下页
尾页