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