-
王文君
-
-
- 所属机构:华东师范大学
- 所在地区:上海市
- 研究方向:自动化与计算机技术
- 发文基金:上海市科学技术委员会资助项目
相关作者
- 郭建
- 作品数：24被引量：57H指数：4
- 供职机构：华东师范大学
- 研究主题：形式化验证 三值逻辑 二叉判定图 布尔函数 片上系统
- 章玥
- 作品数：32被引量：74H指数：4
- 供职机构：华东师范大学
- 研究主题：数据平面 可编程网络 智慧交通 P4 交换机
- 朱晓冉
- 作品数：9被引量：16H指数：2
- 供职机构：华东师范大学
- 研究主题：操作系统 定理证明 智能卡 操作系统内核 循环不变式
