-
王竹
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:大连理工大学国家示范性软件学院
- 所在地区:辽宁省 大连市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 任龙涛
![](/images/user-pic.gif)
- 作品数:9被引量:28H指数:2
- 供职机构:大连理工大学国家示范性软件学院
- 研究主题:形式化验证 STM 嵌入式软件 迁移矩阵 级联故障
- 侯刚
![](/images/user-pic.gif)
- 作品数:69被引量:143H指数:7
- 供职机构:大连理工大学
- 研究主题:正则表达式 工控网络 网络协议 形式化验证 PROTEUS
- 王小龙
![](/images/user-pic.gif)
- 作品数:14被引量:29H指数:2
- 供职机构:大连理工大学
- 研究主题:形式化验证 级联 网络建模 软件系统 级联故障
- 周宽久
![](/images/user-pic.gif)
- 作品数:105被引量:382H指数:11
- 供职机构:大连理工大学
- 研究主题:嵌入式软件 复杂网络 嵌入式系统 遗传算法 决策支持系统