-
章玥
-
-
- 所属机构:华东师范大学
- 所在地区:上海市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 李燕
- 作品数：38被引量：45H指数：4
- 供职机构：华东师范大学
- 研究主题：卡槽 主控板 终端系统 电极 社会技能训练
- 郭建
- 作品数：24被引量：57H指数：4
- 供职机构：华东师范大学
- 研究主题：形式化验证 三值逻辑 二叉判定图 布尔函数 片上系统
- 唐继兴
- 作品数：9被引量：0H指数：0
- 供职机构：华东师范大学
- 研究主题：车载设备 车辆总线 业务流 ARIMA 网络
- 朱晓冉
- 作品数：9被引量：15H指数：2
- 供职机构：华东师范大学
- 研究主题：操作系统 定理证明 智能卡 操作系统内核 循环不变式
- 王文君
- 作品数：1被引量：2H指数：1
- 供职机构：华东师范大学
- 研究主题：精化 定理证明 智能卡 EVENT-B
