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

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

2025年7月

17

星期四

项目编号:

X202510004534

项目名称:

基于Event-B的Java代码生成工具

项目类型:

创新训练项目

所属学校:

北京交通大学

项目期限:

一年期

所属一级学科:

工学

所属二级学科:

计算机类

立项时间:

2025-07-15

结题时间:

项目成员:

姓名	专业班级	所在学院	项目中的分工	成员类型
时家想				第一主持人
李焯				成员

指导教师:

姓名	职称	指导教师类型
张大林	副教授	第一指导教师