程桢
作品数： 8被引量：15H指数：2
  • 所属机构:南京航空航天大学
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家重点基础研究发展计划

相关作者

胡军
作品数：98被引量：353H指数：11
供职机构：南京航空航天大学
研究主题：故障树 形式化方法 安全关键系统 SYSML 接口自动机
马金晶
作品数：8被引量：19H指数：3
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：ARINC653 SYSML MARTE AADL SPIN
刘雪
作品数：6被引量：13H指数：2
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：ARINC653 MARTE AADL SYSML 系统安全性分析
黄志球
作品数：388被引量：1,019H指数：15
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 本体 代码
王明明
作品数：18被引量：24H指数：3
供职机构：南京航空航天大学
研究主题：多站点 电子设备 掌纹识别 掌纹 故障树分析
作品列表