历年项目 - 项目详情 | 北京市大学生创新创业训练计划平台

北京市大学生创新创业训练计划平台 beijing Students' Platform for innovation and entrepreneurship training program

2025年5月

24

星期六

项目编号:

X202210004550

项目名称:

意图驱动的网络形式化验证方法研究

项目类型:

创新训练项目

所属学校:

北京交通大学

项目期限:

一年期

所属一级学科:

工学

所属二级学科:

计算机类

立项时间:

2022-06-29

结题时间:

2023-07-17

项目成员:

姓名	专业班级	所在学院	项目中的分工	成员类型
李昂				第一主持人
付晋吉				成员
张榕盛				成员

指导教师:

姓名	职称	指导教师类型
李亚慧	讲师(高校)	第一指导教师