周瑾
作品数： 3被引量：23H指数：1
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术

相关作者

吴志林
作品数：21被引量：37H指数：3
供职机构：中国科学院软件研究所
研究主题：形式化验证 处理器 RIS C-V 断言
李巍
作品数：3被引量：22H指数：1
供职机构：中国科学院软件研究所
研究主题：UML 形式化 UML类图 序列图 状态图
马应龙
作品数：40被引量：105H指数：5
供职机构：华北电力大学控制与计算机工程学院
研究主题：文本分类 文本 层次化 语义检索 本体
作品列表