全国大学生创新年会

请稍候,正在加载页面……
项目编号:202310284173Z
对事件驱动的智能家居系统模型的模糊测试方法
对事件驱动的智能家居系统模型的模糊测试方法
所属学校 南京大学
项目类型 创新训练项目
学科类别 工学 —— 计算机类
项目成员:
姓名 年级 专业 是否主持人
熊一凡 2021 软件工程
周立勇 2021 软件工程
金语盼 2021 软件工程
周鑫 2021 软件工程
指导老师:
姓 名 职 称 研究方向
卜磊 教授 软件工程与形式化方法