蒲戈光
作品数： 34被引量：36H指数：3
  • 所属机构:华东师范大学
  • 所在地区:上海市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

苏亭
作品数：17被引量：10H指数：3
供职机构：华东师范大学
研究主题：健壮性 测试用例 自动生成 自动化测试 C语言
郭建
作品数：43被引量：24H指数：2
供职机构：华东师范大学
研究主题：形式化验证 形式化验证方法 源代码 时态逻辑 微内核
缪炜恺
作品数：13被引量：22H指数：3
供职机构：华东师范大学
研究主题：需求文档 形式化方法 形式化 嵌入式控制 亮度
陈铭松
作品数：117被引量：88H指数：4
供职机构：华东师范大学
研究主题：物联网 云计算 规约 车流 语言描述
王政
作品数：50被引量：26H指数：3
供职机构：华东师范大学
研究主题：航天器 踝关节 嵌入式 程序数据 星敏感器
作品列表