陈哲
作品数: 65被引量:164H指数:6
  • 所属机构:南京航空航天大学计算机科学与技术学院
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

黄志球
作品数:411被引量:1,052H指数:15
供职机构:南京航空航天大学
研究主题:WEB服务 抽象语法树 隐私 代码 本体
魏欧
作品数:64被引量:203H指数:9
供职机构:南京航空航天大学
研究主题:故障树 软件产品线 软件产品 遗传算法 逻辑公式
朱云龙
作品数:7被引量:10H指数:2
供职机构:南京航空航天大学
研究主题:源代码 编译器 抽象语法树 计算机软件 组件
阚双龙
作品数:16被引量:109H指数:5
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:SPIN 嵌入式 机载软件 适航认证 嵌入式系统
杨志斌
作品数:98被引量:153H指数:7
供职机构:南京航空航天大学
研究主题:AADL 自动生成方法 安全关键软件 L模型 AAD