姓名: 胡军 | 性 别: 男 | 行政职务 : | |||||
专业技术职务: 副教授 | 办公电话: | 导师类别: 硕士生导师 | |||||
最后学历: | 最后学位: | 最后毕业学校: | |||||
电子邮件: | |||||||
工作单位: 计算机科学与技术学院 | |||||||
◇ 主学科研究方向: | |||||||
二级学科名称(主): 计算机科学与技术 (招收硕士研究生) | 学科代码11: 081200 | ||||||
软件工程: 模型驱动的软件分析与验证; 软件可靠性相关的形式化方法; 基于模 | |||||||
| |||||||
| |||||||
◇ 个人简历(学历、学术经历及社会兼职): | |||||||
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 |