-
郭丽娟
-
-
- 所属机构:南京航空航天大学计算机科学与技术学院
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家教育部博士点基金
相关作者
- 胡军
- 作品数：113被引量：382H指数：11
- 供职机构：南京航空航天大学
- 研究主题：形式化方法 故障树 SYSML 安全关键系统 形式化
- 张剑
- 作品数：174被引量：297H指数：8
- 供职机构：东南大学
- 研究主题：预应力 非线性 有限元 随机反演 钢箱梁
- 徐丙凤
- 作品数：33被引量：218H指数：8
- 供职机构：南京林业大学信息科学技术学院
- 研究主题：形式化方法 故障树 信息物理融合系统 接口自动机 嵌入式软件
- 曹东
- 作品数：67被引量：167H指数：8
- 供职机构：南京航空航天大学
- 研究主题：抗干扰 飞行控制计算机 干扰观测器 非线性动态 无人直升机
- 黄志球
- 作品数：436被引量：1,103H指数：15
- 供职机构：南京航空航天大学
- 研究主题：抽象语法树 代码 WEB服务 隐私 本体
