-
李巍
-

-

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

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

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

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

- 作品数:55被引量:1,772H指数:13
- 供职机构:中国科学院软件研究所
- 研究主题:网络安全 入侵检测 计算机网络 网络蠕虫 INTERNET
- 梁洪亮

- 作品数:57被引量:204H指数:8
- 供职机构:北京邮电大学
- 研究主题:安全操作系统 访问控制 操作系统 LINUX 计算机安全