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