您的位置: 专家智库 > >

焦文品

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