吴鹏
作品数： 9被引量：28H指数：2
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

吕毅
作品数：16被引量：89H指数：4
供职机构：中国科学院软件研究所
研究主题：形式化方法 机群文件系统 服务网格 机群 线性化
李娜娜
作品数：12被引量：70H指数：4
供职机构：长春理工大学
研究主题：光学系统 可视化 卫星网络 网络协议 高斯光束
林惠民
作品数：29被引量：352H指数：6
供职机构：中国科学院
研究主题：互模拟 传值进程 计算机 进程代数 Π-演算
岳翰
作品数：1被引量：0H指数：0
供职机构：中国科学院软件研究所
研究主题：测试用例选择 并发软件
施小纯
作品数：3被引量：18H指数：2
供职机构：中国科学院软件研究所
研究主题：软件测试 英文 遗传算法 反例 形式化方法
作品列表