您的位置： 专家智库 > >

许帅

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

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇MAC

机构

  • 1篇国防科学技术...
  • 1篇装甲兵工程学...

作者

  • 1篇隋平
  • 1篇许帅

传媒

  • 1篇计算机与现代...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于MaC的运行时验证框架的研究
2010年
介绍一种基于Monitoring and Checking(MaC)的运行时验证框架。受预测语义概念及一种比较成熟的运行时验证工具MaC的启发,通过研究MaC的工作原理和框架,结合预测语言的定义,提出一种运行时验证框架。该工作的意义在于,一方面继承了MaC的逻辑表达能力,在事件、条件的定义上简洁方便;另一方面通过带预测语义的验证器的引入,扩展了MaC的逻辑表达能力,并使得该运行时验证框架带有一定的预测性,为进一步研究基于预测语义的在线主动监控打下良好的基础。
许帅隋平
关键词：MAC
全选 清除 导出
共1页<1>
聚类工具0