-
马金晶
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:南京航空航天大学计算机科学与技术学院
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家重点基础研究发展计划
相关作者
- 胡军
![](/images/user-pic.gif)
- 作品数:99被引量:361H指数:11
- 供职机构:南京航空航天大学
- 研究主题:故障树 形式化方法 安全关键系统 SYSML 接口自动机
- 刘雪
![](/images/user-pic.gif)
- 作品数:6被引量:13H指数:2
- 供职机构:南京航空航天大学计算机科学与技术学院
- 研究主题:ARINC653 MARTE AADL SYSML 系统安全性分析
- 程桢
![](/images/user-pic.gif)
- 作品数:8被引量:15H指数:2
- 供职机构:南京航空航天大学
- 研究主题:MARTE ARINC653 SYSML 可调度性 系统安全性分析
- 黄志球
![](/images/user-pic.gif)
- 作品数:399被引量:1,031H指数:15
- 供职机构:南京航空航天大学
- 研究主题:WEB服务 抽象语法树 隐私 代码 本体
- 孙博
![](/images/user-pic.gif)
- 作品数:11被引量:132H指数:5
- 供职机构:南京航空航天大学
- 研究主题:SYSML SPIN 活动图 系统建模语言 机场噪声