-
李巍
-

-

- 所属机构:中国科学院软件研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
相关作者
- 吴志林

- 作品数:22被引量:42H指数:3
- 供职机构:中国科学院软件研究所
- 研究主题:形式化验证 断言 处理器 RIS C-V
- 周瑾

- 作品数:3被引量:23H指数:1
- 供职机构:中国科学院软件研究所
- 研究主题:UML 形式化 UML类图 序列图 状态图
- 马应龙

- 作品数:40被引量:110H指数:5
- 供职机构:华北电力大学控制与计算机工程学院
- 研究主题:文本分类 文本 层次化 语义检索 本体
- 淮晓永

- 作品数:26被引量:226H指数:10
- 供职机构:中国科学院软件研究所
- 研究主题:实时系统 开放系统 自适应调度 普适计算 服务质量
- 赵琛

- 作品数:133被引量:213H指数:8
- 供职机构:中国科学院软件研究所
- 研究主题:C-V 攻击防御 测试用例 MVB 映射