南航计算机科学与技术学院导师介绍:胡军
2013-08-12
姓名: 胡军 | 性 别: 男 | 行政职务 : | |
专业技术职务: 副教授 | 办公电话: | 导师类别: 硕士生导师 | |
最后学历: | 最后学位: | 最后毕业学校: | |
电子邮件: | | | |
工作单位: 计算机科学与技术学院 | | | |
◇ 主学科研究方向: |
二级学科名称(主): 计算机科学与技术 (招收硕士研究生) | 学科代码11: 081200 |
软件工程: 模型驱动的软件分析与验证; 软件可靠性相关的形式化方法; 基于模 |
◇ 辅学科研究方向: | 二级学科名称(辅): 软件工程 (招收硕士研究生) | 学科代码: 083500 | |
◇ 辅学科研究方向: | 二级学科名称(辅): 安全科学与工程 (招收硕士研究生) | 学科代码: 083700 | |
◇ 个人简历(学历、学术经历及社会兼职): |
Hu Jun, Huang Zhiqiu, Cao Dong, Xu Bingfeng. Formal Analysis and Verification of Resource Adaptability for Internetware In: Journal of Software (in Chinese). Vol.19, No.5, pp1182-1196. May 2008. Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang. Modelling and Analysis of Power Consumption for Component-Based Embedded Software.In: Proceedings of the 2006 IFIP International Conference on Emb |
*如果发现导师信息存在错误或者偏差,欢迎随时与我们联系,以便进行更新完善。联系方式>> 2014考研政英短期抢分特训班 迅速提高分数!