论文部分内容阅读
为了研究协议分析验证方法的有效性，论文利用协议分析验证工具SPIN对可靠传输协议中的GBN协议进行了分析验证，结果发现单纯依靠工具并不能保证协议的正确性，本文对如何确保协议的正确性进行了研究，提出了具体建议。
基于SPIN的协议分析验证研究
【摘 要】
：
为了研究协议分析验证方法的有效性，论文利用协议分析验证工具SPIN对可靠传输协议中的GBN协议进行了分析验证，结果发现单纯依靠工具并不能保证协议的正确性，本文对如何确保协议
【机 构】
：
河南工业职业技术学院计算机工程系,中国人民解放军95865部队
【出 处】
：
软件工程师
【发表日期】
：
2010年9期
其他文献
尽管越南的电影产业还不发达，不论是影片年产量还是市场票房，越南电影产业都处于起步期。但是越南电影也呈现出了鲜明特征，女性导演在越南形成了一个群体;从20世纪90年代以陈英雄为代表的越侨导演的合拍片创作到新世纪之后陆续返回越南进行商业化电影操作的年轻一代越侨导演，海外军团为当代越南电影的发展注入了持续的活力。 一、越南女性电影导演 越南本土受过电影专业教育的电影工作者普遍把电影视作纯艺术。对于艺
文化建设是实现中华民族伟大复兴中国梦的重要途径。产业文化与中华民族伟大复兴同步共生，唇齿相依。产业文化育人是我国产业结构转型升级时期职业院校学生职业精神培养面临的
在招聘者眼里，毕业生找工作不外乎就是投简历、笔试、面试。如果过不了筛选简历这关就没机会参加下一轮笔试；如果过不了笔试，也就没资格参加再下轮的面试。不过，世界上没有什么事
<正> 第一个电子计算机科研小组的诞生1945年,美国宾夕法尼亚大学研制成功了世界上第一台电子计算机 ENIAC,这一消息于1946年2月宣布后,在国际科技界引起轰动,这不仅仅是因为
本文从动态能力的概念、维度、动态能力的生成机理、演化机理以及动态能力对企业绩效的作用机理等方面对研究文献进行了分析、总结。本文指出动态能力理论研究存在的不足,认