-
刘立宇
-

-

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

- 作品数:18被引量:9H指数:2
- 供职机构:中国科学院软件研究所
- 研究主题:信号量 RTEMS 测树仪 测试用例 LPC2468
- 武延军

- 作品数:258被引量:331H指数:11
- 供职机构:中国科学院软件研究所
- 研究主题:C-V 开源软件 操作系统 漏洞 安全漏洞
- 李明树

- 作品数:227被引量:1,453H指数:20
- 供职机构:中国科学院软件研究所
- 研究主题:人工智能 机器人 基于知识 软件工程 用户主导
- 杨秋松

- 作品数:57被引量:89H指数:5
- 供职机构:中国科学院软件研究所
- 研究主题:仿真 复杂度 仿真模型 信号量 ROP
- 翟健

- 作品数:18被引量:54H指数:4
- 供职机构:中国科学院软件研究所
- 研究主题:仿真 复杂度 仿真模型 信号量 形式化方法