您的位置: 专家智库 > >

李进辉

作品数:2 被引量:3H指数:1
供职机构:北京大学信息科学技术学院高可信软件技术教育部重点实验室更多>>
发文基金:国家自然科学基金创新研究群体项目国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术更多>>