胡军


个人信息：Personal Information 副教授 硕士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院

扫描关注

教育经历Education Background
工作经历Work Experience
2001.92005.12
南京大学
计算机软件与理论
工学博士学位
1999.92002.3
南京航空航天大学
交通运输规划与管理
工学硕士学位
1990.91994.6
南京航空航天大学
交通运输
工学学士学位
2006.3至今
南京航空航天大学
2002.92006.3
南京大学
1999.92002.8
南京航空航天大学
1994.81999.8
南京航空航天大学
1990.91994.8
南京航空航天大学

研究方向Research Focus
社会兼职Social Affiliations




手机版访问量：次开通时间： ..
最后更新时间： ..

---

胡军


个人信息：Personal Information 副教授 硕士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院


扫描关注



当前位置: 中文主页 >> 科学研究
研究领域
软件工程
论文成果
胡军.Formal verification for AltaRica3.0 models based on SPIN
胡军.A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models
胡军.安全关键系统需求形式化建模分析实例研究
胡军.An ANTLR-based flattening framework for AltaRica 3.0 model
胡军.面向需求的安全关键系统形式化建模与验证方法研究
专利
暂无内容
著作成果
暂无内容
科研项目More>>
基于形式化模型的安全性分析方法研究, 2016/03/25
标准陆空通话（英语）语音识别技术研究, 2012/06/01
构件化CPS系统设计的软件动态行为模型分析与验证方法研究, 2014/01/01
多容量受控的流量控制问题, 1997/06/01
主控型半双工广播式语音软件系统开发, 2006/12/14
项目开发, 2010/12/16






手机版访问量：次开通时间： ..
最后更新时间： ..

---

胡军


个人信息：Personal Information 副教授 硕士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院


扫描关注



研究领域 当前位置: 中文主页 >> 科学研究 >> 研究领域
软件工程







手机版访问量：次开通时间： ..
最后更新时间： ..

---

胡军


个人信息：Personal Information 副教授 硕士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院


扫描关注



论文成果 当前位置: 中文主页 >> 科学研究 >> 论文成果
[1]胡军,胡军,胡军等.Formal verification for AltaRica3.0 models based on SPIN
[2]胡军,胡军,胡军等.A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models
[3]胡军,胡军,胡军等.安全关键系统需求形式化建模分析实例研究
[4]胡军,胡军,胡军等.An ANTLR-based flattening framework for AltaRica 3.0 model
[5]胡军,胡军,胡军等.面向需求的安全关键系统形式化建模与验证方法研究
共5条1/1 首页上页下页尾页








手机版访问量：次开通时间： ..
最后更新时间： ..

---

胡军


个人信息：Personal Information 副教授 硕士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院


扫描关注



专利 当前位置: 中文主页 >> 科学研究 >> 专利
共0条0/0








手机版访问量：次开通时间： ..
最后更新时间： ..

---

胡军


个人信息：Personal Information 副教授 硕士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院


扫描关注



著作成果 当前位置: 中文主页 >> 科学研究 >> 著作成果
共0条0/0








手机版访问量：次开通时间： ..
最后更新时间： ..

---

胡军


个人信息：Personal Information 副教授 硕士生导师
招生学科专业：
计算机科学与技术学院/人工智能学院 -- 计算机科学与技术 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 软件工程 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 网络空间安全 --【招收硕士研究生】
计算机科学与技术学院/人工智能学院 -- 电子信息 --【招收硕士研究生】

性别：男
学历：博士研究生毕业
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院


扫描关注



科研项目 当前位置: 中文主页 >> 科学研究 >> 科研项目
基于形式化模型的安全性分析方法研究
标准陆空通话（英语）语音识别技术研究
构件化CPS系统设计的软件动态行为模型分析与验证方法研究
多容量受控的流量控制问题
主控型半双工广播式语音软件系统开发
项目开发
标准陆空通话（英语）语音识别技术研究
嵌入式软件设计中非功能性质的形式分析与验证研究
构件化嵌入式软件设计的非功能性质分析与验证研究
构件化Cyber-Physical System软件设计的分析与验证研究
构件化Cyber-Physical System 软件设计的分析与验证研究
构件化信息-物理融合系统（CPS）的软件设计分析与验证技术研究
模型驱动的无人机飞控软件
基于接口自动机的嵌入式软件设计中非功能性质的分析与验证研究
共14条1/1 首页上页下页尾页