您的位置： 专家智库 > >

郭建

作品数：38 被引量：21H指数：2
供职机构：华东师范大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

领域

  • 10个自动化与计算...
  • 7个文化科学
  • 5个机械工程
  • 4个交通运输工程
  • 3个经济管理
  • 3个电子电信
  • 2个哲学宗教
  • 2个化学工程
  • 2个医药卫生
  • 2个艺术
  • 2个历史地理
  • 2个理学
  • 1个电气工程
  • 1个轻工技术与工...
  • 1个航空宇航科学...
  • 1个环境科学与工...
  • 1个农业科学
  • 1个一般工业技术
  • 1个政治法律
  • 1个语言文字

主题

  • 9个形式化
  • 7个代码
  • 6个形式化验证
  • 6个时态逻辑
  • 6个自动化
  • 6个操作系
  • 6个操作系统
  • 5个形式化方法
  • 5个映射
  • 5个源代码
  • 5个嵌入式
  • 5个内核
  • 4个形式化建模
  • 4个形式化验证方...
  • 3个迭代
  • 3个实时操作系统
  • 3个嵌入式实时操...
  • 2个单次
  • 2个等价
  • 2个等价类

机构

  • 10个华东师范大学
  • 1个北京大学
  • 1个教育部
  • 1个上海大学

资助

  • 5个国家自然科学...
  • 1个国家社会科学...
  • 1个国家重点基础...
  • 1个上海市自然科...
  • 1个创新研究群体...
  • 1个上海市教育委...
  • 1个上海市科学技...

传媒

  • 5个软件学报
  • 3个计算机工程与...
  • 2个计算机教育
  • 1个成都体育学院...
  • 1个高等学校化学...
  • 1个计算机研究与...
  • 1个计算机学报
  • 1个计算机工程
  • 1个计算机应用研...
  • 1个分析试验室
  • 1个体育文化导刊
  • 1个Chines...
  • 1个上海体育学院...
  • 1个天津体育学院...
  • 1个信息网络安全
  • 1个南京体育学院...
  • 1个教育信息技术
  • 1个当代教育论坛...
  • 1个体育成人教育...
  • 1个信息安全学报

地区

  • 10个上海市
  • 1个湖南省
共 11 条 记 录，以下是 1-10
蒲戈光
供职机构：华东师范大学
研究主题：测试用例 健壮性 形式化验证 EVENT-B 源代码
发表作品相关人物供职机构所获资助研究领域
朱晓冉
供职机构：华东师范大学
研究主题：操作系统 定理证明 智能卡 操作系统内核 循环不变式
发表作品相关人物供职机构所获资助研究领域
张凯
供职机构：华东师范大学
研究主题：二氧化碳 污染环境 形式化验证方法 形式化验证 关联函数
发表作品相关人物供职机构所获资助研究领域
李新
供职机构：华东师范大学
研究主题：层次化 交互行为 集中式控制 自适应软件 自适应
发表作品相关人物供职机构所获资助研究领域
张杰亮
供职机构：华东师范大学
研究主题：电子电气 汽车电子产品 汽车电子 电气系统 电气产品
发表作品相关人物供职机构所获资助研究领域
李鑫
供职机构：华东师范大学
研究主题：SUB 光催化剂 修饰 交通工具 农业
发表作品相关人物供职机构所获资助研究领域
李钦
供职机构：华东师范大学
研究主题：安全性质 EVENT-B 形式化建模 建模语言 计算软件
发表作品相关人物供职机构所获资助研究领域
黄滟鸿
供职机构：华东师范大学
研究主题：目标代码 形式化验证 反汇编 L模型 控制流图
发表作品相关人物供职机构所获资助研究领域
郭建
供职机构：教育部
研究主题：Z3 VCC 系统内核 求解器 嵌入式实时操作
发表作品相关人物供职机构所获资助研究领域
缪炜恺
供职机构：华东师范大学
研究主题：需求文档 形式化方法 形式化 嵌入式控制 抽象语法树
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0