-
陈松
-
-
- 所属机构:南京航空航天大学计算机科学与技术学院
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家重点基础研究发展计划
相关作者
- 胡军
- 作品数：108被引量：374H指数：11
- 供职机构：南京航空航天大学计算机科学与技术学院
- 研究主题：形式化方法 故障树 安全关键系统 SYSML 接口自动机
- 王明明
- 作品数：20被引量：26H指数：4
- 供职机构：南京航空航天大学
- 研究主题：多站点 电子设备 掌纹识别 掌纹 故障树分析
- 程桢
- 作品数：8被引量：16H指数：2
- 供职机构：南京航空航天大学
- 研究主题：MARTE ARINC653 SYSML 系统安全性分析 状态机模型
