切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于SPIN的协议分析验证研究
基于SPIN的协议分析验证研究
来源 :软件工程师 | 被引量 : 0次 | 上传用户:heran3
【摘 要】
:
为了研究协议分析验证方法的有效性,论文利用协议分析验证工具SPIN对可靠传输协议中的GBN协议进行了分析验证,结果发现单纯依靠工具并不能保证协议的正确性,本文对如何确保协议
【作 者】
:
侯奉含
白小翀
【机 构】
:
河南工业职业技术学院计算机工程系,中国人民解放军95865部队
【出 处】
:
软件工程师
【发表日期】
:
2010年9期
【关键词】
:
SPIN
协议分析验证
Promela语言
GBN协议
SPIN Protocol Analysis and Verification Promela GBN
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了研究协议分析验证方法的有效性,论文利用协议分析验证工具SPIN对可靠传输协议中的GBN协议进行了分析验证,结果发现单纯依靠工具并不能保证协议的正确性,本文对如何确保协议的正确性进行了研究,提出了具体建议。
其他文献
不怕你不行,放手走好人生路
自古以来,陪嫁、陪葬有之;现代以来,陪玩、陪游有之;职场中,家长陪读、陪聘的现象也方兴未艾。
期刊
大学生
就职
招聘工作
人才培养
当代越南电影“生力军”:女性导演与越裔导演研究
尽管越南的电影产业还不发达,不论是影片年产量还是市场票房,越南电影产业都处于起步期。但是越南电影也呈现出了鲜明特征,女性导演在越南形成了一个群体;从20世纪90年代以陈英雄为代表的越侨导演的合拍片创作到新世纪之后陆续返回越南进行商业化电影操作的年轻一代越侨导演,海外军团为当代越南电影的发展注入了持续的活力。 一、越南女性电影导演 越南本土受过电影专业教育的电影工作者普遍把电影视作纯艺术。对于艺
期刊
电影工作者
越南电影
女性导演
合拍片
陈英雄
电影专业教育
电影产业
商业化电影
对高三英语复习有效性的探索
本文从教学目标的规划与达成、思考答题者与命题者的思维以及促成学生知识体系建构三个方面探讨高中英语教师在高三复习过程中如何提高复习的有效性。
期刊
高三英语
复习教学
火柴问题
你能否把16根火柴棒任意组合,然后捏起其中1根,使全部火柴棒都被提起来?
期刊
智力测试
测试方法
试题
《火柴问题》
ERP咨询顾问如何选?
ERP(企业资源计划管理)系统实施是一个庞大、复杂的信息化工程,应用实施涉及从制造到物流每个经营环节,从高层领导到底层每个员工,实施工程的组织工作是非常繁杂的。对于这样
期刊
产业文化视域下职业院校学生职业精神培养问题分析与对策研究
文化建设是实现中华民族伟大复兴中国梦的重要途径。产业文化与中华民族伟大复兴同步共生,唇齿相依。产业文化育人是我国产业结构转型升级时期职业院校学生职业精神培养面临的
期刊
产业文化
职业精神
产教融合
校企合作
培养对策
科技生活IIQ拓展营
在建筑工地上隐藏着12种工具和用具,你能一一指出它们的位置并认出这些工具或用具的名称吗?
期刊
生活
科技
用具
工具
慎做“霸王面”
在招聘者眼里,毕业生找工作不外乎就是投简历、笔试、面试。如果过不了筛选简历这关就没机会参加下一轮笔试;如果过不了笔试,也就没资格参加再下轮的面试。不过,世界上没有什么事
期刊
毕业生
笔试
招聘
简历
面试
我国第一个电子计算机科研组
<正> 第一个电子计算机科研小组的诞生1945年,美国宾夕法尼亚大学研制成功了世界上第一台电子计算机 ENIAC,这一消息于1946年2月宣布后,在国际科技界引起轰动,这不仅仅是因为
期刊
示波管
存储器
技术研究所
数字计算机
物理研究所
第一个
动态能力研究的现状、问题与展望
本文从动态能力的概念、维度、动态能力的生成机理、演化机理以及动态能力对企业绩效的作用机理等方面对研究文献进行了分析、总结。本文指出动态能力理论研究存在的不足,认
期刊
动态能力
企业理论
能力更新
与本文相关的学术论文