HU Jun
Personal Homepage
Publications
Current location: Home Page of Dr. Jun Hu >> Research >> Publications

[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]wo,wo,战芸娇,HU Jun.面向DO-178C的襟缝翼控制系统需求的形式化描述:计算机科学,2018

[3]Wang Lisong,Wang Lisong,冯涛,宋俊花,郭宗豪,HU Jun.Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks:IEEE ACCESS,2018

[4]Wang Lisong,Wang Lisong,JIANG AIHUA,HU Jun,wo,Yuan Jiabing.面向“新工科”建设的非计算机专业计算机基础教学课程体系构建探索:工业和信息化教育,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

total21   1/2 
firstprevious  Page
Personal information

Associate Professor
Supervisor of Master's Candidates

Alma Mater:Nanjing University

Education Level:南京大学

Degree:Doctoral Degree in Engineering

School/Department:College of Computer Science and Technology, NUAA

Business Address:Jiangjun Avenue No. 29
Jiangsu Province, China 210000
email: hujun # nuaa /dot edu /dot cn
http://faculty.nuaa.edu.cn/Jun_Hu/en/index.htm

Click:

Open time:..

The Last Update Time:..


Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

MOBILE Version