[13]A Case Study of Formal Model based System Safety Analysis in Aviation [14]An ANTLR-based Flattening Framework for AltaRica 3.0 Model [15]Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE, [16]胡军,,等.Formal verification for AltaRica3.0 models ...
姓名: 胡军性 别: 男行政职务 : 专业技术职务: 副教授办公电话:导师类别: 硕士生导师 最后学历:最后学位:最后毕业学校: 电子邮件: 工作单位: 计算机科学与技术学院 ◇主学科研究方向: 二级学科名称(主): 计算机科学与技术 (招收硕士研究生)学科代码11: 081200 软件工程: 模型驱动的软件分析与验证; 软件可靠性...
胡军.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 胡军.面向需求的安全关键系统形式化建模...
102873211606660 石娇洁 软件工程 胡军 半额奖学金 102873211604320 徐军 软件工程 许峰 半额奖学金 102873211602162 李孟杰 安全科学与工程 谢强 全额奖学金 102873211602163 赵政康 安全科学与工程 刘宁钟 全额奖学金 102873211606861 王欢欢 安全科学与工程 杨群 半额奖学金 102873211605167 朱云龙 计算机技术(专业学位)...
102873211604677 程桢 计算机科学与技术 胡军 全额奖学金 102873211602067 陈鹤文 计算机科学与技术 周勇 全额奖学金 102873211605344 李文 计算机科学与技术 郑吉平 全额奖学金 102873211602138 赵兴方 计算机科学与技术 袁家斌 全额奖学金 102873211602075 范璧健 计算机科学与技术 曹子宁 全额奖学金 102873211605755 孙茂鑫...
九三学社南医大委员会秘书长,南京医科大学教授、博导,南京医科大学第一附属医院骨科主任医师 胡军 在江西方志敏干部学院的四天学习,让我深刻感受到方志敏精神的力量。方志敏同志用他的一生,诠释了什么是坚定的信仰和无私的奉献。他曾说过:“清...
四院2008年硕士研究生拟录取名单 序号 准考证号 姓名 性别 复试专业 录取导师 奖学...
1 2531 王心一 135 125 86 电路与系统 非定向 王成华 三等奖 2 253...
(南京航空航天大学)副主席:皮德常(南京航空航天大学)陈兵(南京航空航天大学)委员:陶先平(南京大学)王千祥(北京大学)魏欧(南京航空航天大学)胡军(南京航空航天大学)沈国华(南京航空航天大学)钱巨(南京航空航天大学)陈哲(南京航空航天大学)蔡昕晔(南京航空航天大学)周宇(南京航空航天大学)张德平(南京航空航天大学)康达周(...
南京航空航天大学考研研究生导师简介-胡军 导师姓名:胡军性别:男人气指数:73所属院校:南京航空航天大学所属院系:计算机科学与技术学院职称:副教授导师类型:硕导招生专业:软件工程、计算机科学与技术、网络空间安全通讯方式:办公电话:=86-**电子邮件:hujun@nuaa.edu.cn个人简述:?科研工作:发表学术论文,出版专著情况:[...