刘立宇
作品数: 8被引量:0H指数:0
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术

相关作者

潘远明
作品数:18被引量:9H指数:2
供职机构:中国科学院软件研究所
研究主题:信号量 RTEMS 测树仪 测试用例 LPC2468
武延军
作品数:258被引量:331H指数:11
供职机构:中国科学院软件研究所
研究主题:C-V 开源软件 操作系统 漏洞 安全漏洞
李明树
作品数:227被引量:1,453H指数:20
供职机构:中国科学院软件研究所
研究主题:人工智能 机器人 基于知识 软件工程 用户主导
杨秋松
作品数:57被引量:89H指数:5
供职机构:中国科学院软件研究所
研究主题:仿真 复杂度 仿真模型 信号量 ROP
翟健
作品数:18被引量:54H指数:4
供职机构:中国科学院软件研究所
研究主题:仿真 复杂度 仿真模型 信号量 形式化方法