朱晓冉
作品数： 9被引量：14H指数：2
  • 所属机构:华东师范大学
  • 所在地区:上海市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

郭建
作品数：38被引量：21H指数：2
供职机构：华东师范大学
研究主题：形式化验证 形式化验证方法 源代码 微内核 时态逻辑
郭建
作品数：24被引量：56H指数：4
供职机构：华东师范大学
研究主题：形式化验证 三值逻辑 二叉判定图 布尔函数 片上系统
章玥
作品数：31被引量：71H指数：4
供职机构：华东师范大学
研究主题：数据平面 智慧交通 P4 控制器 可编程网络
王文君
作品数：1被引量：2H指数：1
供职机构：华东师范大学
研究主题：精化 定理证明 智能卡 EVENT-B
黄滟鸿
作品数：129被引量：4H指数：1
供职机构：华东师范大学
研究主题：目标代码 形式化验证 反汇编 L模型 控制流图
作品列表