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

相关作者

吴志林
作品数:21被引量:37H指数:3
供职机构:中国科学院软件研究所
研究主题:形式化验证 处理器 RIS C-V 断言
周瑾
作品数:3被引量:23H指数:1
供职机构:中国科学院软件研究所
研究主题:UML 形式化 UML类图 序列图 状态图
马应龙
作品数:40被引量:105H指数:5
供职机构:华北电力大学控制与计算机工程学院
研究主题:文本分类 文本 层次化 语义检索 本体
蒋建春
作品数:55被引量:1,772H指数:13
供职机构:中国科学院软件研究所
研究主题:网络安全 入侵检测 计算机网络 网络蠕虫 INTERNET
梁洪亮
作品数:57被引量:204H指数:8
供职机构:北京邮电大学
研究主题:安全操作系统 访问控制 操作系统 LINUX 计算机安全