蒋树
作品数: 8被引量:1H指数:1
  • 所属机构:北京航空航天大学
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

胡凯
作品数:135被引量:433H指数:9
供职机构:北京航空航天大学
研究主题:合约 链系统 区块链 交易 架构
杨志斌
作品数:103被引量:161H指数:7
供职机构:南京航空航天大学
研究主题:AADL 自动生成方法 安全关键软件 L模型 AAD
张腾
作品数:28被引量:0H指数:0
供职机构:北京航空航天大学
研究主题:偏振 水下 高度角 光强 目标语言
姜泮昌
作品数:4被引量:0H指数:0
供职机构:北京航空航天大学
研究主题:目标语言 模型转换方法 抽象机 环境变量 线程
顾斌
作品数:2被引量:0H指数:0
供职机构:北京航空航天大学
研究主题:抽象机 环境变量 目标语言 模型转换方法