2024年8月24日
星期六
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
彭瑞峰
作品数:
2
被引量:0
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张