您的位置： 专家智库 > >

苏亭

作品数：13 被引量：10H指数：3
供职机构：华东师范大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 14个自动化与计算...
  • 7个文化科学
  • 6个航空宇航科学...
  • 5个经济管理
  • 4个机械工程
  • 4个电子电信
  • 4个理学
  • 3个政治法律
  • 2个哲学宗教
  • 2个天文地球
  • 2个金属学及工艺
  • 2个水利工程
  • 2个交通运输工程
  • 2个环境科学与工...
  • 2个医药卫生
  • 2个一般工业技术
  • 2个自然科学总论
  • 2个兵器科学与技...
  • 1个电气工程
  • 1个建筑科学

主题

  • 9个自动化
  • 7个形式化
  • 6个形式化方法
  • 6个形式化验证
  • 6个语义
  • 6个测试系统
  • 5个代码
  • 5个搜索
  • 5个迁移
  • 4个调度
  • 4个映射
  • 4个数据流
  • 4个统计测试
  • 3个定义语言
  • 3个数据流测试
  • 3个数据流分析
  • 3个搜索器
  • 2个代码段
  • 2个导航星
  • 2个等价

机构

  • 11个华东师范大学
  • 3个北京控制工程...
  • 2个中国航天
  • 1个北京大学
  • 1个北京空间飞行...
  • 1个国防科学技术...
  • 1个湖州师范学院
  • 1个北京理工大学
  • 1个清华大学
  • 1个西北工业大学
  • 1个中国空间技术...
  • 1个中国航天工程...
  • 1个中国航天科技...
  • 1个空间智能控制...
  • 1个联合国大学
  • 1个英国诺丁汉大...

资助

  • 10个国家自然科学...
  • 3个国家高技术研...
  • 3个国家重点基础...
  • 3个国家中长期科...
  • 2个中国博士后科...
  • 2个创新研究群体...
  • 2个国防科技工业...
  • 1个国防基础科研...
  • 1个上海市自然科...
  • 1个武器装备预研...
  • 1个中国科学院软...
  • 1个国家教育部“...
  • 1个天津市哲学社...
  • 1个国家杰出青年...
  • 1个国家科技重大...
  • 1个国家公派留学...
  • 1个国家重点实验...
  • 1个教育部人文社...
  • 1个上海市“科技...
  • 1个上海市教育委...

传媒

  • 6个软件学报
  • 6个计算机工程与...
  • 4个计算机应用研...
  • 4个空间控制技术...
  • 3个计算机工程
  • 3个计算机应用与...
  • 3个计算机科学
  • 3个中国科学：技...
  • 2个计算机研究与...
  • 2个科技导报
  • 2个计算机学报
  • 2个微电子学与计...
  • 2个计算机应用
  • 2个航天控制
  • 2个中国空间科学...
  • 2个计算机教育
  • 2个计算机科学与...
  • 2个中国科学：信...
  • 2个2006中国...
  • 2个第一届全国服...

地区

  • 11个上海市
  • 4个北京市
共 15 条 记 录，以下是 1-10
蒲戈光
供职机构：华东师范大学
研究主题：测试用例 健壮性 形式化验证 EVENT-B 源代码
发表作品相关人物供职机构所获资助研究领域
何积丰
供职机构：华东师范大学
研究主题：目标代码 反汇编 高级语言 控制流图 自适应
发表作品相关人物供职机构所获资助研究领域
武轲
供职机构：华东师范大学
研究主题：自动化测试 测试系统 GUI测试 ANDROID 控制流
发表作品相关人物供职机构所获资助研究领域
刘凯
供职机构：华东师范大学
研究主题：塑料 多样性 药物输送系统 L-谷氨酸 苯并菲
发表作品相关人物供职机构所获资助研究领域
张伟
供职机构：中国航天
研究主题：生产进度 数学模型 工艺规程 可靠性指标 介质
发表作品相关人物供职机构所获资助研究领域
杨伟明
供职机构：华东师范大学
研究主题：宣传动员 控件 粮食统购统销 自动化测试方法 自动化测试
发表作品相关人物供职机构所获资助研究领域
邓正恒
供职机构：华东师范大学软件学院
研究主题：MONITORING SYSTEM 基于B/S架构 远程实时监控系统 ARM
发表作品相关人物供职机构所获资助研究领域
经小川
供职机构：中国航天
研究主题：AADL 入侵检测 关联矩阵 映射 多智能体
发表作品相关人物供职机构所获资助研究领域
王政
供职机构：华东师范大学
研究主题：航天器 踝关节 嵌入式 程序数据 星敏感器
发表作品相关人物供职机构所获资助研究领域
顾斌
供职机构：北京控制工程研究所
研究主题：嵌入式软件 航天器 数据竞争 AADL 航天器控制
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0