您的位置： 专家智库 > >

彭进

作品数：1 被引量：0H指数：0
供职机构：华中师范大学计算机学院网络与通信研究所更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 1篇国内会议论文

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 1篇自动机
  • 1篇PVS
  • 1篇FSM

机构

  • 1篇华中师范大学

作者

  • 1篇彭进
  • 1篇刘一兰
  • 1篇彭菲

传媒

  • 1篇第十四届中国...

年份

  • 1篇2004
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于PVS的FSM协议模型的验证与分析
本文旨在研究基于FSM的协议模型的协议验证问题，提出了交互自动机的概念,并转换成相应的PVS规范，本研究结果为利用PVS对基于FSM的协议模型进行验证提供了规则和模板。
彭菲刘一兰彭进
关键词：PVS自动机
文献传递
全选 清除 导出
共1页<1>
聚类工具0