课题基金 / 基金详情

面向数值缺陷检测的抽象解释技术

批准号：
62302434
项目类别：
青年科学基金项目
资助金额：
30.00 万元
负责人：
姚培森
依托单位：
浙江大学
学科分类：
模式识别与数据挖掘
结题年份：
--
批准年份：
2023
项目状态：
未结题
项目参与者：
姚培森
关键词：
数值缺陷检测抽象解释技术

相似基金

相关文献

国内基金
海外基金