您的位置： 专家智库 > >

许帅

作品数：1 被引量：0H指数：0
供职机构：装甲兵工程学院信息工程系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 1个自动化与计算...

主题

  • 1个语义
  • 1个数据结构
  • 1个自动机
  • 1个监控器
  • 1个BÜCHI自...
  • 1个LINEAR
  • 1个LOGIC
  • 1个LTL
  • 1个MAC
  • 1个参数化
  • 1个TEMPOR...

机构

  • 1个国防科学技术...

资助

  • 1个国家自然科学...

传媒

  • 1个计算机工程与...
  • 1个软件学报
  • 1个计算机与现代...
  • 1个中国计算机学...

地区

  • 1个湖南省
共 1 条 记 录，以下是 1-1
隋平
供职机构：国防科学技术大学计算机学院
研究主题：参数化 LTL LOGIC LINEAR BÜCHI自动机
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0