您的位置： 专家智库 > >

北京市科技计划项目(W06H0020)

作品数：1 被引量：8H指数：1
相关作者：郜春海马连川郭志良吕继东更多>>
相关机构：北京交通大学更多>>
发文基金：北京市科技计划项目国家科技支撑计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇时间自动机
  • 1篇实时系统
  • 1篇自动机
  • 1篇自动机模型
  • 1篇计算机
  • 1篇安全计算机
  • 1篇UPPAAL

机构

  • 1篇北京交通大学

作者

  • 1篇吕继东
  • 1篇郭志良
  • 1篇马连川
  • 1篇郜春海

传媒

  • 1篇铁道学报

年份

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