-
蒋树
-
-
- 所属机构:北京航空航天大学
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 胡凯
- 作品数:135被引量:433H指数:9
- 供职机构:北京航空航天大学
- 研究主题:合约 链系统 区块链 交易 架构
- 杨志斌
- 作品数:103被引量:161H指数:7
- 供职机构:南京航空航天大学
- 研究主题:AADL 自动生成方法 安全关键软件 L模型 AAD
- 张腾
- 作品数:28被引量:0H指数:0
- 供职机构:北京航空航天大学
- 研究主题:偏振 水下 高度角 光强 目标语言
- 姜泮昌
- 作品数:4被引量:0H指数:0
- 供职机构:北京航空航天大学
- 研究主题:目标语言 模型转换方法 抽象机 环境变量 线程
- 顾斌
- 作品数:2被引量:0H指数:0
- 供职机构:北京航空航天大学
- 研究主题:抽象机 环境变量 目标语言 模型转换方法