您的位置： 专家智库 > >

郭欣

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

合作作者

领域

  • 7个自动化与计算...
  • 7个文化科学
  • 5个经济管理
  • 3个医药卫生
  • 2个哲学宗教
  • 2个生物学
  • 2个天文地球
  • 2个金属学及工艺
  • 2个电子电信
  • 2个环境科学与工...
  • 2个农业科学
  • 2个一般工业技术
  • 2个政治法律
  • 2个艺术
  • 2个历史地理
  • 2个理学
  • 1个机械工程
  • 1个动力工程及工...
  • 1个建筑科学
  • 1个轻工技术与工...

主题

  • 6个形式化
  • 5个代码
  • 5个信号
  • 5个形式化验证
  • 5个形式化验证方...
  • 4个形式化描述
  • 4个隐私
  • 3个代码段
  • 3个代数
  • 3个等价
  • 3个等价类
  • 3个递归
  • 3个信号采集
  • 3个信号采集模块
  • 3个信号处理
  • 3个信号处理模块
  • 3个信号流
  • 3个信息查询
  • 3个形式化分析
  • 3个异常性

机构

  • 8个华东师范大学

资助

  • 3个国家自然科学...
  • 1个国家重点基础...
  • 1个上海市自然科...
  • 1个上海市教育委...
  • 1个上海市科委科...
  • 1个上海市科学技...
  • 1个上海市人才发...
  • 1个中央高校基本...

传媒

  • 2个软件学报
  • 1个华东师范大学...
  • 1个临床麻醉学杂...
  • 1个上海金属
  • 1个化学学报
  • 1个计算机应用与...
  • 1个地理教学
  • 1个计算机应用
  • 1个海洋学报
  • 1个党史研究与教...
  • 1个中国高新技术...
  • 1个环境监测管理...
  • 1个上海土地
  • 1个文教资料
  • 1个中国地方志
  • 1个计算机科学
  • 1个中国实验血液...
  • 1个中小学心理健...
  • 1个体育科技文献...
  • 1个红色文化学刊

地区

  • 8个上海市
共 8 条 记 录，以下是 1-8
史建琦
供职机构：华东师范大学
研究主题：形式化验证 目标代码 控制流图 反汇编 中间语言
发表作品相关人物供职机构所获资助研究领域
黄滟鸿
供职机构：华东师范大学
研究主题：目标代码 形式化验证 反汇编 L模型 控制流图
发表作品相关人物供职机构所获资助研究领域
杨洋
供职机构：华东师范大学
研究主题：分子动力学 下肢 跑步 机载软件 目标代码
发表作品相关人物供职机构所获资助研究领域
李昂
供职机构：华东师范大学
研究主题：目标代码 反汇编 控制流图 自适应 程序模型
发表作品相关人物供职机构所获资助研究领域
曹桂涛
供职机构：华东师范大学
研究主题：规约 形式化验证 形式化描述 计算机辅助诊断 数学
发表作品相关人物供职机构所获资助研究领域
李钦
供职机构：华东师范大学
研究主题：安全性质 EVENT-B 形式化验证 形式化建模 建模语言
发表作品相关人物供职机构所获资助研究领域
张鹏
供职机构：华东师范大学
研究主题：热法 氮化钛 复合半导体 二氧化钛 合成工艺
发表作品相关人物供职机构所获资助研究领域
石奇
供职机构：华东师范大学
研究主题：操作系统 数据更新 数据格式 神经网络技术 入侵检测
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0