Jian XIE(谢健)Nanjing University of Aeronautics and Astronautics关注立即认领分享关注立即认领分享基本信息浏览量:0职业迁徙个人简介暂无内容研究兴趣论文共 14 篇作者统计合作学者相似作者按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选时间引用量主题期刊级别合作者合作机构安全关键软件的AADL模型自动逆向构造方法 邱志凯,杨志斌,谢健,周勇,程高辉,陈俊文小型微型计算机系统(2022)引用0浏览0引用00安全关键系统多范式建模及安全性分析方法 李书铭,杨志斌,谢健,周勇,陈静小型微型计算机系统(2022)引用0浏览0引用00基于限定中文自然语言需求的SysML模型自动生成方法杨永强,杨志斌,谢健,黄志球,岳涛,周勇, 鲍阳,郭鹏计算机研究与发展(2021)引用1浏览0引用10面向IMA的AADL多范式建模及代码自动生成方法 邱宝,王铁鑫,杨志斌,谢健,周勇,郭鹏小型微型计算机系统(2021)引用0浏览0引用00系统架构描述语言AADL的功能行为建模扩展许金淼,杨志斌,黄志球,谢健,周勇计算机科学与探索(2019)引用0浏览0引用00一种同步语言多线程代码自动生成工具杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒, Jean-Paul BODEVEIX,Mamoun FILALI软件学报(2019)引用2浏览0引用20基于动态故障树的航空发动机可靠性分析方法研究宛伟健,谢健,葛晓瑜计算技术与自动化(2019)引用2浏览0引用20一种形式化建模中活性属性转化方法研究谢健,张棋,尹小花计算技术与自动化(2018)引用0浏览0引用00从中学到大学:C语言程序设计递进式教学初探李鑫,谢健科教导刊(2016)引用0浏览0引用00新时期高校保密教育工作浅析谢健,翟胡萍科教文汇(上旬刊)(2013)引用0浏览0引用00加载更多作者统计合作学者合作机构D-Core合作者学生导师暂无相似学者,你可以通过学者研究领域进行搜索筛选数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn