-
马金晶
-
-
- 所属机构:南京航空航天大学计算机科学与技术学院
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家重点基础研究发展计划
相关作者
- 胡军
- 作品数：107被引量：373H指数：11
- 供职机构：南京航空航天大学
- 研究主题：故障树 安全关键系统 形式化方法 SYSML 接口自动机
- 刘雪
- 作品数：6被引量：15H指数：2
- 供职机构：南京航空航天大学计算机科学与技术学院
- 研究主题：ARINC653 MARTE AADL SYSML 系统安全性分析
- 程桢
- 作品数：8被引量：16H指数：2
- 供职机构：南京航空航天大学
- 研究主题：MARTE ARINC653 SYSML 系统安全性分析 状态机模型
- 黄志球
- 作品数：416被引量：1,068H指数：15
- 供职机构：南京航空航天大学
- 研究主题：WEB服务 抽象语法树 隐私 代码 本体
- 孙博
- 作品数：11被引量：137H指数：5
- 供职机构：南京航空航天大学
- 研究主题：SYSML SPIN 活动图 系统建模语言 机场噪声
