-
董浩
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:西安交通大学电子与信息工程学院
- 所在地区:陕西省 西安市
- 研究方向:自动化与计算机技术
- 发文基金:国家高技术研究发展计划
相关作者
- 肖健宇
![](/images/user-pic.gif)
- 作品数:19被引量:39H指数:4
- 供职机构:湖南涉外经济学院
- 研究主题:B方法 形式化方法 程序依赖图 并发程序 UML状态机
- 陈海诠
![](/images/user-pic.gif)
- 作品数:8被引量:35H指数:4
- 供职机构:西安交通大学电子与信息工程学院
- 研究主题:B方法 形式化方法 UML状态机 高可信 程序依赖图
- 张德运
![](/images/user-pic.gif)
- 作品数:226被引量:1,259H指数:18
- 供职机构:西安交通大学
- 研究主题:无线传感器网络 计算机网络 网络处理器 网络安全 入侵检测