您的位置： 专家智库 > >

李昂生

作品数：1 被引量：0H指数：0
供职机构：西安电子科技大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文科技成果

领域

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

机构

  • 1篇西安电子科技...

作者

  • 1篇李昂生
  • 1篇张海宾
  • 1篇杨潇潇
  • 1篇段振华
  • 1篇田聪

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
实时、混合系统的基础理论与关键技术
段振华田聪杨潇潇李昂生张海宾
该项目任务来源于三个课题：国家自然科学基金项目、教育部博士点基金项目和中国科学院软件所计算机科学重点开放实验室项目，以投影时序逻辑(ProjectionTemporalLogic，PTL)为基础，研究实时、混合系统的建模...
关键词：
全选 清除 导出
共1页<1>
聚类工具0