您的位置： 专家智库 > >

国家重点实验室开放基金(SKLSE03-08)

作品数：1 被引量：1H指数：1
相关作者：董威更多>>
相关机构：武汉大学更多>>
发文基金：国家重点实验室开放基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇SMV

机构

  • 1篇武汉大学

作者

  • 1篇董威

传媒

  • 1篇计算机工程与...

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
在模型检验工具SMV中实现进程阻塞被引量：1
2006年
模型检验技术是开发高可信软硬件系统的重要途径。目前已经有许多成熟的模型检验工具,SMV就是其中一种常用的工具,可以进行同步或异步系统的自动验证。在异步模型检验中,SMV可以描述进程,但不能直接描述进程的阻塞。本文提出了一种在SMV中利用公平性约束实现阻塞的方法。
王常春董威
关键词：SMV
全选 清除 导出
共1页<1>
聚类工具0