谢健
-
助理研究员
硕士生导师
- 招生学科专业：
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
- 性别：男
- 毕业院校：南京航空航天大学
- 学历：南京航空航天大学
- 学位：工学博士学位
- 所在单位：计算机科学与技术学院/人工智能学院/软件学院、信息化处
- 电子邮箱：b2d43e3b8042e9ab7fe04792937bad149fecf6ad3c4aad925417926f37158532c1f28336cad2c64094d40d73d32dd5a85cc1c1d3153ea2be5624351a77dac5c74836013de17dcf489c4b3e554f74c16d5c97873fca5772836020f6f9cb3e9f4cc1d6ff2ed217fdd8f1214c85a88781ba5c5169a260f31e59337593faedfd490b
访问量：
-
[1] 谢健,谢健,宛伟健,葛晓瑜.基于动态故障树的航空发动机可靠性分析方法研究:计算技术与自动化,2019
-
[2] 谢健,谢健,2017023,黄志球,王飞,杨志斌,李伟湋.嵌入偏序约简的状态事件线性时序逻辑验证:计算机学报,2019
-
[3] 谢健,谢健,张棋,尹小花.一种形式化建模中活性属性转化方法研究:计算技术与自动化,2018
