您的位置： 专家智库 > >

彭瑞峰

作品数：2 被引量：0H指数：0
供职机构：宁夏大学更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 1篇形式化
  • 1篇通信
  • 1篇通信协议
  • 1篇终止性
  • 1篇网络
  • 1篇网络服务
  • 1篇网络协议
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇SPIN
  • 1篇程序终止性

机构

  • 2篇宁夏大学

作者

  • 2篇彭瑞峰
  • 1篇丁志义
  • 1篇王家伟

传媒

  • 1篇软件导刊

年份

  • 1篇2010
  • 1篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于良序集方法的程序终止性证明
2009年
在介绍程序正确性的定义和良序集的概念基础上,对良序集证明程序终止性思路和步骤进行了分析,利用实例来证明程序的终止性。
彭瑞峰丁志义王家伟
关键词：程序终止性
基于SPIN的网络协议形式化分析与验证
随着计算机通信与网络技术的发展，网络协议的稳定性和安全性发挥着越来越重要的作用，所以对网络协议的研究有重要意义。形式化的方法将成为分析网络协议的重要方法，目前有很多研究网络协议的理论和方法，比较重要的理论有BAN逻辑，定...
彭瑞峰
关键词：计算机网络网络服务通信协议
文献传递
全选 清除 导出
共1页<1>
聚类工具0