您的位置： 专家智库 > >

国家高技术研究发展计划(2001AA113200)

作品数：5 被引量：43H指数：3
相关作者：张广泉戎玫唐稚松黄正宝李广元更多>>
相关机构：苏州大学中国科学院软件研究所暨南大学更多>>
发文基金：国家高技术研究发展计划国家自然科学基金重庆市教育委员会科学技术研究项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 5篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 4篇时序逻辑
  • 2篇软件体系结构
  • 2篇体系结构
  • 2篇XYZ/E
  • 1篇电梯控制
  • 1篇电梯控制系统
  • 1篇软件开发
  • 1篇软件系统
  • 1篇时序逻辑语言
  • 1篇实时系统
  • 1篇数学模型
  • 1篇组件
  • 1篇网络
  • 1篇网络协议
  • 1篇线性时序逻辑
  • 1篇连接件
  • 1篇逻辑表示
  • 1篇逻辑语言
  • 1篇控制系统
  • 1篇计算机

机构

  • 4篇苏州大学
  • 3篇暨南大学
  • 3篇中国科学院软...
  • 2篇重庆师范大学
  • 1篇中国科学院

作者

  • 5篇张广泉
  • 3篇戎玫
  • 2篇唐稚松
  • 1篇朱雪阳
  • 1篇李广元
  • 1篇黄正宝

传媒

  • 1篇计算机学报
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇计算机科学
  • 1篇淮阴师范学院...
  • 1篇企业应用集成...

年份

  • 2篇2006
  • 1篇2005
  • 2篇2003
  • 1篇2002
共 5 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
非常抱歉，您的检索请求在检索结果中暂未找到，建议您：
  • *请检查输入字词有无错误
  • *请换用另外的检索字词
  • *请改用较常见的字词
  • *请减少查询字词的数量
全选 清除 导出
共1页<1>
聚类工具0