2025年5月
13
星期二
202310487090
基于形式化验证的物联网协议逻辑漏洞查找
创新训练项目
华中科技大学
一年期
工学
计算机类
2023-06-30
姓名 专业班级 所在学院 项目中的分工 成员类型
张云耀 第一主持人
冯皓楠 成员
申书豪 成员
姓名 职称 指导教师类型
袁斌 副教授 第一指导教师