您的位置： 专家智库 > 资助详情>国家自然科学基金(s60573013)

国家自然科学基金(s60573013)

作品数：1 被引量：3H指数：1
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>
人物
机构

领域

  • 1个电子电信
  • 1个自动化与计算...
  • 1个自然科学总论

主题

  • 1个时序逻辑
  • 1个PARTIT...
  • 1个REFINE...
  • 1个SCC
  • 1个TRANSI...
  • 1个VALUE
  • 1个ALONG
  • 1个COMBIN...
  • 1个COMPUT...
  • 1个GRAPHS
  • 1个LTL
  • 1个MODEL_...
  • 1个并发系统
  • 1个测试用例
  • 1个测试用例生成
  • 1个ABSTRA...
  • 1个SYMBOL...
  • 1个PASSIN...
  • 1个AXON

机构

  • 1个中国科学院软...

作者

  • 1个林惠民
  • 1个晏荣杰
  • 1个刘大光
  • 1个彭云全
  • 1个唐稚松
  • 1个张文亮

传媒

  • 1个计算机学报
  • 1个计算机工程与...
  • 1个计算机仿真
  • 1个Scienc...
  • 1个Journa...
  • 1个Progre...
共 1 条 记 录，以下是 1-1
国家自然科学基金(60421001)
相关领域：自动化与计算机技术 电子电信 自然科学总论
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0