-
郭建
-
-
- 所属机构:华东师范大学
- 所在地区:上海市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 蒲戈光
- 作品数：34被引量：36H指数：3
- 供职机构：华东师范大学
- 研究主题：测试用例 健壮性 形式化验证 EVENT-B 源代码
- 朱晓冉
- 作品数：9被引量：16H指数：2
- 供职机构：华东师范大学
- 研究主题：操作系统 定理证明 智能卡 操作系统内核 循环不变式
- 张凯
- 作品数：42被引量：37H指数：3
- 供职机构：华东师范大学
- 研究主题：二氧化碳 形式化验证方法 形式化验证 污染环境 源代码
- 李新
- 作品数：19被引量：17H指数：2
- 供职机构：华东师范大学
- 研究主题：层次化 形式化验证方法 形式化验证 交互行为 集中式控制
- 张杰亮
- 作品数：4被引量：2H指数：1
- 供职机构：华东师范大学
- 研究主题：电子电气 汽车电子产品 汽车电子 电气系统 电气产品
