-
代声馨
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:四川大学
- 所在地区:四川省 成都市
- 研究方向:自动化与计算机技术
- 发文基金:四川省应用基础研究计划项目
相关作者
- 郭兵
![](/images/user-pic.gif)
- 作品数:187被引量:671H指数:13
- 供职机构:四川大学
- 研究主题:嵌入式软件 嵌入式系统 功耗 ΜC/OS 功耗优化
- 洪玫
![](/images/user-pic.gif)
- 作品数:80被引量:282H指数:9
- 供职机构:四川大学软件学院
- 研究主题:测试用例 软件工程 实时系统 软件测试 空中交通管制
- 杨秋辉
![](/images/user-pic.gif)
- 作品数:51被引量:157H指数:8
- 供职机构:四川大学
- 研究主题:测试用例生成方法 测试用例 测试用例生成 测试用例优先级 补丁
- 何洋
![](/images/user-pic.gif)
- 作品数:6被引量:4H指数:1
- 供职机构:四川大学
- 研究主题:逻辑表达式 相关信息 死锁检测 死锁 时态逻辑
- 孙琳
![](/images/user-pic.gif)
- 作品数:7被引量:0H指数:0
- 供职机构:四川大学
- 研究主题:HELA细胞 逻辑表达式 相关信息 死锁检测 死锁