[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 胡军.面向需求的安全关键系统形式化建模...
希望通过这次三校的联合培训,与河海、南航两校老师建立友谊、保持联系,在教学、科研等方面建立合作,通过医工、医理、医文结合,共同促进新医科建设,助力健康中国战略。 九三学社南医大委员会秘书长,南京医科大学教授、博导,南京医科大学第一附属...
102873211604677 程桢 计算机科学与技术 胡军 全额奖学金 102873211602067 陈鹤文 计算机科学与技术 周勇 全额奖学金 102873211605344 李文 计算机科学与技术 郑吉平 全额奖学金 102873211602138 赵兴方 计算机科学与技术 袁家斌 全额奖学金 102873211602075 范璧健 计算机科学与技术 曹子宁 全额奖学金 102873211605755 孙茂鑫...
近日,航天进入减速与着陆技术航天科技集团重点实验室(以下简称“实验室”)第一届学术委员会第三次工作会在我校召开。实验室学术委员会主任、航天学院院长叶培建院士,副主任邓宗全院士,委员宣益民院士、孙泽洲研究员、赵会光研究员、杨建中研究员、胡军研究员、曹义华教授、蔡建国教授、谭惠丰教授等出席会议。中国航天科技集...
1 2531 王心一 135 125 86 电路与系统 非定向 王成华 三等奖 2 253...
四院2008年硕士研究生拟录取名单 序号 准考证号 姓名 性别 复试专业 录取导师 奖学...
(南京航空航天大学)副主席:皮德常(南京航空航天大学)陈兵(南京航空航天大学)委员:陶先平(南京大学)王千祥(北京大学)魏欧(南京航空航天大学)胡军(南京航空航天大学)沈国华(南京航空航天大学)钱巨(南京航空航天大学)陈哲(南京航空航天大学)蔡昕晔(南京航空航天大学)周宇(南京航空航天大学)张德平(南京航空航天大学)康达周(...
VIP29集全 超越 李庚希胡军冰雪逐梦 独播30集全 家族荣耀 张智霖杨怡豪门复仇剧 40集全 丁大命 长工参加游击队舍身取义 独播196话全 真武巅峰 天才被迫陨落重生灭宗门 独播156话全 冰火魔厨 魔厨历练成为强大魔法师 独播13期全 青春守艺人 诉守艺故事品匠人精神 布丁与糖豆 甜美搞怪组合的校园生活 预告 百姓...