胡军
个人信息Personal Information
副教授 硕士生导师
招生学科专业:
计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
毕业院校:南京大学
学历:南京大学
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院/软件学院
办公地点:江苏省南京市将军大道29号
南京航空航天大学 计算机科学与技术学院楼118房间
联系方式:hujun@nuaa.edu.cn
扫描关注
-
学科研究方向:软件工程, 计算机科学与技术
面向航空先进系统的智能计算、分析与验证;
基于模型的系统工程方法;
系统安全性建模与分析方法;
- .Hu Jun, Cheng Zhen, Ma Jinjing, Shi Jiaojie, Chen Song. A Program Proof Framework for Embedded Safety-Critical Software.[J]:Transactions of Nanjing University of Aeronautics and Astronautics. 2017
- 魏欧,魏欧,战芸娇,胡军.面向DO-178C的襟缝翼控制系统需求的形式化描述:计算机科学,2018
- 王立松,王立松,冯涛,宋俊花,郭宗豪,胡军.Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks:IEEE ACCESS,2018
- 王立松,王立松,江爱华,胡军,魏欧,袁家斌.面向“新工科”建设的非计算机专业计算机基础教学课程体系构建探索:工业和信息化教育,2018
- .一种AltaRica3.0模型到NuSMV模型的转换方法[J].:计算机科学
- .基于ANTLR的AltaRica 3.0模型平展化算法设计与实现[J].:小型微型计算机系统
- 暂无内容
- 暂无内容