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