[1]魏欧,,等.面向DO-178C的襟缝翼控制系统需求的形式化描述.计算机科学,2018[2]王立松,,等.Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks.IEEE ACCESS,2018[3]王立松,,等.面向“新工科”建设的非计算机专业计算机基础教学课程体系构建探索.工业和信息化教育,2018[4]一种AltaRica3.0模型到NuSMV模型的转换方法[J]..计算机科学[5]基于ANTLR的AltaRica 3.0模型平展化算法设计与实现[J]..小型微型计算机系统[6]面向需求的安全关键系统形式化建模与验证方法研究[J].计算机工程与科学[7]面向SysML模型的安全性分析与验证方法.计算机科学[8]安全关键系统需求形式化建模分析实例研究[J]..计算机科学与探索[9]个基于形式化方法的系统安全性建模分析实例研究[J]..小型微型计算机系统,[10]面向SysML的系统安全性分析工具与实例研究.计算机科学[11]A Model Based Safety Analysis Framework for SysML and A Case Study[12]A Case Study of Model-based Safety Analysis for an Aviation Software Specification[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 based on SPIN.Int. Workshop Comput. Sci. Eng., WCSE,2017[17]胡军,,等.A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models.ADVANCES IN COMPUTER SCIENCE AND UBIQUITOUS COMPUTING,2018[18]胡军,,等.安全关键系统需求形式化建模分析实例研究.计算机科学与探索,2018[19]胡军,,胡军等.An ANTLR-based flattening framework for AltaRica 3.0 model.Int. J. Perform. Eng.,2019[20]胡军,,胡军等.面向需求的安全关键系统形式化建模与验证方法研究.计算机工程与科学,2019
