-
蒲戈光
-
-
- 所属机构:华东师范大学
- 所在地区:上海市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 苏亭
- 作品数：14被引量：10H指数：3
- 供职机构：华东师范大学
- 研究主题：测试用例 健壮性 自动化测试 C语言 自动生成
- 郭建
- 作品数：38被引量：22H指数：2
- 供职机构：华东师范大学
- 研究主题：形式化验证 形式化验证方法 源代码 微内核 时态逻辑
- 缪炜恺
- 作品数：12被引量：20H指数：3
- 供职机构：华东师范大学
- 研究主题：需求文档 形式化方法 形式化 嵌入式控制 抽象语法树
- 陈铭松
- 作品数：113被引量：85H指数：4
- 供职机构：华东师范大学
- 研究主题：物联网 云计算 规约 语言描述 信物
- 王政
- 作品数：50被引量：23H指数：3
- 供职机构：华东师范大学
- 研究主题：航天器 踝关节 嵌入式 程序数据 星敏感器
