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

相关作者

吴志林
作品数:22被引量:42H指数:3
供职机构:中国科学院软件研究所
研究主题:形式化验证 断言 处理器 RIS C-V
周瑾
作品数:3被引量:23H指数:1
供职机构:中国科学院软件研究所
研究主题:UML 形式化 UML类图 序列图 状态图
马应龙
作品数:40被引量:110H指数:5
供职机构:华北电力大学控制与计算机工程学院
研究主题:文本分类 文本 层次化 语义检索 本体
淮晓永
作品数:26被引量:226H指数:10
供职机构:中国科学院软件研究所
研究主题:实时系统 开放系统 自适应调度 普适计算 服务质量
赵琛
作品数:133被引量:213H指数:8
供职机构:中国科学院软件研究所
研究主题:C-V 攻击防御 测试用例 MVB 映射