您的位置： 专家智库 > >

朱晓冉

作品数：9 被引量：15H指数：2
供职机构：华东师范大学更多>>
发文基金：国家自然科学基金上海市科学技术委员会资助项目国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

领域

  • 7个自动化与计算...
  • 4个文化科学
  • 2个电子电信
  • 1个机械工程
  • 1个交通运输工程
  • 1个医药卫生
  • 1个理学

主题

  • 5个形式化
  • 5个时态逻辑
  • 4个定理
  • 4个智能卡
  • 3个代码
  • 3个定理证明
  • 3个形式化定义
  • 3个形式化方法
  • 3个形式化验证
  • 3个形式化验证方...
  • 3个硬件
  • 3个映射
  • 2个等价
  • 2个迭代
  • 2个形式化描述
  • 2个一致性
  • 2个映射函数
  • 1个带宽
  • 1个带宽分配
  • 1个带宽分配算法

机构

  • 6个华东师范大学
  • 1个西安邮电学院
  • 1个教育部
  • 1个西安电子科技...
  • 1个计算机软件新...

资助

  • 5个国家自然科学...
  • 3个国家重点基础...
  • 3个上海市科学技...
  • 1个安徽省自然科...
  • 1个国防基础科研...
  • 1个国家高技术研...
  • 1个上海市自然科...
  • 1个陕西省教育厅...
  • 1个国家科技重大...
  • 1个陕西省教育厅...
  • 1个江苏省“六大...
  • 1个基金委创新研...
  • 1个江苏省高校自...

传媒

  • 5个软件学报
  • 3个计算机工程与...
  • 2个计算机应用
  • 2个信息网络安全
  • 2个计算机教育
  • 1个农业工程学报
  • 1个计算机工程
  • 1个小型微型计算...
  • 1个计算机辅助设...
  • 1个计算机工程与...
  • 1个淮海工学院学...
  • 1个无线通信技术
  • 1个西安电子科技...
  • 1个西安邮电学院...
  • 1个计算机科学
  • 1个现代电子技术
  • 1个科学技术与工...
  • 1个微纳电子与智...
  • 1个第四届中国测...
  • 1个第五届中国测...

地区

  • 6个上海市
  • 1个湖南省
共 7 条 记 录，以下是 1-7
郭建
供职机构：华东师范大学
研究主题：形式化验证 形式化验证方法 源代码 微内核 时态逻辑
发表作品相关人物供职机构所获资助研究领域
郭建
供职机构：华东师范大学
研究主题：形式化验证 三值逻辑 二叉判定图 布尔函数 片上系统
发表作品相关人物供职机构所获资助研究领域
章玥
供职机构：华东师范大学
研究主题：数据平面 可编程网络 智慧交通 P4 交换机
发表作品相关人物供职机构所获资助研究领域
王文君
供职机构：华东师范大学
研究主题：精化 定理证明 智能卡 EVENT-B
发表作品相关人物供职机构所获资助研究领域
黄滟鸿
供职机构：华东师范大学
研究主题：目标代码 形式化验证 反汇编 L模型 控制流图
发表作品相关人物供职机构所获资助研究领域
郭建
供职机构：教育部
研究主题：Z3 VCC 系统内核 求解器 嵌入式实时操作
发表作品相关人物供职机构所获资助研究领域
彭云辉
供职机构：华东师范大学
研究主题：操作系统 AUTOSAR TIMED PAT 发动机管理系统
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0