于斌
最后更新时间：..
点击次数：
项目来源单位：中央高校基本科研业务费
立项时间：2023-01-01
计划完成时间：2023-12-31
结项日期：2023-12-31
开始日期：2023-01-01
上一条：面向智能合约逻辑缺陷的形式化验证方法研究（中央高校基本科研业务费，3万，主持）
下一条：基于GPT大语言模型的课程建设系统（校级教改实践类-创业人才培养改革实践项目，2万，主持）
