胡军
个人信息Personal Information
副教授 硕士生导师
招生学科专业:
计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
毕业院校:南京大学
学历:南京大学
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院/软件学院
办公地点:江苏省南京市将军大道29号
南京航空航天大学 计算机科学与技术学院楼118房间
联系方式:hujun@nuaa.edu.cn
扫描关注
- [1].Hu Jun, Cheng Zhen, Ma Jinjing, Shi Jiaojie, Chen Song. A Program Proof Framework for Embedded S....[J]:Transactions of Nanjing University of Aeronautics and Astronautics. 2017
- [2]魏欧,魏欧,战芸娇,胡军.面向DO-178C的襟缝翼控制系统需求的形式化描述:计算机科学,2018
- [3]王立松,王立松,冯涛,宋俊花,郭宗豪,胡军.Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks:IEEE ACCESS,2018
- [4]王立松,王立松,江爱华,胡军,魏欧,袁家斌.面向“新工科”建设的非计算机专业计算机基础教学课程体系构建探索:工业和信息化教育,2018
- [5].一种AltaRica3.0模型到NuSMV模型的转换方法[J].:计算机科学
- [6].基于ANTLR的AltaRica 3.0模型平展化算法设计与实现[J].:小型微型计算机系统
- [7].面向需求的安全关键系统形式化建模与验证方法研究[J]:计算机工程与科学
- [8].面向SysML模型的安全性分析与验证方法:计算机科学
- [9].安全关键系统需求形式化建模分析实例研究[J].:计算机科学与探索
- [10].个基于形式化方法的系统安全性建模分析实例研究[J].:小型微型计算机系统,
- [11].面向SysML的系统安全性分析工具与实例研究:计算机科学
- [12].A Model Based Safety Analysis Framework for SysML and A Case Study
- [13].A Case Study of Model-based Safety Analysis for an Aviation Software Specification
- [14].A Case Study of Formal Model based System Safety Analysis in Aviation
- [15].An ANTLR-based Flattening Framework for AltaRica 3.0 Model
- [16].Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE,
- [17]胡军,胡军,Li, Wanqian,Wang, Mingming,Zhang, Weijun.Formal verification for AltaRica3.0 models based on SPIN:Int. Workshop Comput. Sci. Eng., WCSE,2017
- [18]胡军,胡军,Wang, Mingming,Zhang, Weijun,Li, Wanqian.A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models:ADVANCES IN COMPUTER SCIENCE AND UBIQUITOUS COMPUTING,2018
- [19]胡军,胡军,张维珺,李宛倩,陈朔,石梦烨,唐红英.安全关键系统需求形式化建模分析实例研究:计算机科学与探索,2018
- [20]胡军,胡军,Chen, Shuo,Chen, Defeng,Kang, Jiexiang,Wang, Hui.An ANTLR-based flattening framework for AltaRica 3.0 model:Int. J. Perform. Eng.,2019