您的位置： 专家智库 > >

王文君

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

合作作者

领域

  • 3个电子电信
  • 3个自动化与计算...
  • 2个文化科学
  • 1个医药卫生
  • 1个理学

主题

  • 3个定理
  • 3个定理证明
  • 3个形式化
  • 3个形式化方法
  • 3个智能卡
  • 2个形式化验证
  • 2个一致性
  • 2个时态逻辑
  • 1个带宽
  • 1个带宽分配
  • 1个带宽分配算法
  • 1个代码
  • 1个等价
  • 1个等价性验证
  • 1个电路
  • 1个电子支付
  • 1个端节点
  • 1个对象模型
  • 1个信号控制
  • 1个形式化定义

机构

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

资助

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

传媒

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

地区

  • 3个上海市
共 3 条 记 录，以下是 1-3
郭建
供职机构：华东师范大学
研究主题：形式化验证 三值逻辑 二叉判定图 布尔函数 片上系统
发表作品相关人物供职机构所获资助研究领域
章玥
供职机构：华东师范大学
研究主题：数据平面 智慧交通 P4 控制器 可编程网络
发表作品相关人物供职机构所获资助研究领域
朱晓冉
供职机构：华东师范大学
研究主题：操作系统 定理证明 智能卡 操作系统内核 循环不变式
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0