|
姓名： 胡军 |
性 别： 男 |
行政职务 ： |
|
|
专业技术职务： 副教授 |
办公电话： |
导师类别： 硕士生导师 |
|
|
最后学历： |
最后学位： |
最后毕业学校： |
|
|
电子邮件： |
|
|
|
|
工作单位： 计算机科学与技术学院 |
|
|
|
|
◇ 主学科研究方向： |
|
二级学科名称（主）： 计算机科学与技术 （招收硕士研究生） |
学科代码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 |
*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式>>
次阅读