您的位置： 专家智库 > >

李昂

作品数：49 被引量：5H指数：1
供职机构：华东师范大学更多>>
相关领域：自动化与计算机技术文化科学经济管理更多>>

合作作者

领域

  • 10个自动化与计算...
  • 6个文化科学
  • 2个交通运输工程
  • 1个电子电信
  • 1个语言文字
  • 1个兵器科学与技...

主题

  • 8个形式化
  • 7个代码
  • 7个形式化验证
  • 6个自适
  • 6个自适应
  • 4个代码段
  • 4个等价
  • 4个等价类
  • 4个递归
  • 4个信息查询
  • 4个形式化方法
  • 4个形式化分析
  • 4个形式化验证方...
  • 3个代数
  • 3个电控
  • 3个调度
  • 3个定理
  • 2个单次
  • 2个低复杂度
  • 2个地址映射

机构

  • 10个华东师范大学
  • 1个南京大学
  • 1个湖州师范学院
  • 1个联合国大学
  • 1个英国诺丁汉大...

资助

  • 2个国家重点基础...
  • 2个国家自然科学...
  • 2个上海市自然科...
  • 1个江苏省自然科...
  • 1个中国博士后科...
  • 1个国家教育部“...
  • 1个国家科技重大...
  • 1个国家部委资助...
  • 1个国家教育部博...
  • 1个上海市“科技...
  • 1个上海市教育委...
  • 1个中央高校基本...

传媒

  • 5个软件学报
  • 2个计算机工程
  • 2个计算机应用与...
  • 1个世界科技研究...
  • 1个中国大学教学
  • 1个中国成人教育
  • 1个生物学通报
  • 1个计算机研究与...
  • 1个科技导报
  • 1个华东科技
  • 1个微电子学与计...
  • 1个计算机应用研...
  • 1个中国科学基金
  • 1个计算机工程与...
  • 1个中国科学（E...
  • 1个西安电子科技...
  • 1个计算机科学
  • 1个教育信息技术
  • 1个当代教育论坛...
  • 1个科技中国

地区

  • 10个上海市
共 10 条 记 录，以下是 1-10
史建琦
供职机构：华东师范大学
研究主题：目标代码 形式化验证 反汇编 控制流图 中间语言
发表作品相关人物供职机构所获资助研究领域
黄滟鸿
供职机构：华东师范大学
研究主题：目标代码 反汇编 形式化验证 L模型 控制流图
发表作品相关人物供职机构所获资助研究领域
何积丰
供职机构：华东师范大学
研究主题：目标代码 反汇编 高级语言 控制流图 自适应
发表作品相关人物供职机构所获资助研究领域
熊家文
供职机构：华东师范大学
研究主题：反汇编 目标代码 程序模型 封装格式 翻译
发表作品相关人物供职机构所获资助研究领域
李新
供职机构：华东师范大学
研究主题：层次化 交互行为 集中式控制 自适应软件 自适应
发表作品相关人物供职机构所获资助研究领域
郭欣
供职机构：华东师范大学
研究主题：形式化验证 机载软件 规约 形式化描述 目标代码
发表作品相关人物供职机构所获资助研究领域
施健
供职机构：华东师范大学
研究主题：交互行为 集中式控制 自适应软件 软件体系结构 软件模型
发表作品相关人物供职机构所获资助研究领域
李炬
供职机构：华东师范大学
研究主题：空间飞行器 自重构 数学符号 软硬件协同 飞行控制
发表作品相关人物供职机构所获资助研究领域
庞海萍
供职机构：华东师范大学
研究主题：仿真验证 进程代数 描述语言 数学建模 语言代码
发表作品相关人物供职机构所获资助研究领域
陈铭松
供职机构：华东师范大学
研究主题：物联网 云计算 规约 语言描述 信物
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0