-
徐雨波
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:中国科学院软件研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 晏荣杰
![](/images/user-pic.gif)
- 作品数:29被引量:113H指数:6
- 供职机构:中国科学院软件研究所
- 研究主题:仿真测试 自动驾驶系统 软件复用 软件体系结构 软件工程
- 刘春明
![](/images/user-pic.gif)
- 作品数:3被引量:10H指数:1
- 供职机构:中国科学院软件研究所
- 研究主题:可达性 实时系统 时间自动机
- 唐稚松
![](/images/user-pic.gif)
- 作品数:34被引量:254H指数:10
- 供职机构:中国科学院
- 研究主题:时序逻辑语言 XYZ/E 时序逻辑 软件工程 XYZ系统
- 李广元
![](/images/user-pic.gif)
- 作品数:11被引量:53H指数:4
- 供职机构:中国科学院软件研究所
- 研究主题:实时系统 时序逻辑 线性时序逻辑 时间自动机 合约