-
朱晓冉
-
-
- 所属机构:华东师范大学
- 所在地区:上海市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 郭建
- 作品数：39被引量：22H指数：2
- 供职机构：华东师范大学
- 研究主题：形式化验证 形式化验证方法 源代码 微内核 时态逻辑
- 郭建
- 作品数：24被引量：57H指数：4
- 供职机构：华东师范大学
- 研究主题：形式化验证 三值逻辑 二叉判定图 布尔函数 片上系统
- 章玥
- 作品数：32被引量：73H指数：4
- 供职机构：华东师范大学
- 研究主题：数据平面 可编程网络 智慧交通 P4 交换机
- 王文君
- 作品数：1被引量：2H指数：1
- 供职机构：华东师范大学
- 研究主题：精化 定理证明 智能卡 EVENT-B
- 黄滟鸿
- 作品数：133被引量：7H指数：2
- 供职机构：华东师范大学
- 研究主题：目标代码 反汇编 形式化验证 L模型 控制流图
