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