下载 >  课程资源 >  讲义 > 网络协议的形式化分析与设计

网络协议的形式化分析与设计 评分:

网络协议的形式化分析与设计 古天龙 2003 计算机网络及数据通信是当今信息社会的基石,网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程
2015-07-22 上传大小:59.15MB
想读
分享
收藏 (1) 举报

评论 共3条

lostvip 很好的书,对通信软件协议的设计很有帮助。
2018-06-24
回复
yangghyypz 比较一般,但还是有一定参考意义
2018-06-11
回复
izhangming 2003年的书,比较老。书是完整的,但是目录不完整。
2017-01-10
回复
网络协议工程 ppt 南京邮电

网络协议工程 ppt 南京邮电 可与 《网络协议的形式化分析与设计》古天龙 配套

立即下载
论文《用于通信网络协议开发的形式化方法》

论文《用于通信网络协议开发的形式化方法》

立即下载
网络协议分析测试课件

内含网络协议 形式化分析 测试技术 协议工程等方面的课件内容

立即下载
软件形式化方法视频课程5-8

软件形式化方法视频教程,非常好,付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。

立即下载
区块链—形式化表示与体系结构演进--斯雪明

2018中国区块链技术大会上,斯雪明做的演讲,区块链—形式化表示与体系结构演进

立即下载
软件形式化方法 有限状态机

软关于有限状态机的件形式化方法 ,包括模型检测,外文论文打包。

立即下载
软件开发形式化方法教材

软件开发的形式化方法。语义学方面的教材。

立即下载
形式化方法论文集合

有关形式化方法著名论文的集合,由日本九州大学的教授整理的

立即下载
软件工程形式化

武汉大学软件工程国家重点实验室讲义,是软件工程领域形式化\语义逻辑必须有的知识储备

立即下载
软件形式化方法期末考试复习要点

软件工程形式化方法,Z语言,期末考试复习要点。包括各个章节的知识点可经典例题。

立即下载
形式化规约——Z语言

形式化规约,形式化方法,Z语言,主要与软件开发的形式化方法有关。

立即下载
B语言与方法_实用形式化开发指南

B语言与方法 / (英)K. Lano著 , 鲍涌等译 高等教育出版社 出版日期: 1998.7 目录: 第一章 引言 1.1 形式化方法

立即下载
Linux网络体系结构 Linux内核中网络协议设计与实现

Linux网络体系结构 Linux内核中网络协议的设计与实现,Linux网络体系结构 Linux内核中网络协议的设计与实现

立即下载
形式化方法概貌_2018

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础 建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈 多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证 为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融 合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用 已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设

立即下载
形式化分析工具Scyther软件的说明手册

形式化分析的工具Scyther软件的说明手册,可以对工业协议和安全加密的协议进行形式化分析

立即下载
形式化方法--北大教学ppt--很经典!

形式化方法--北大教学ppt--很经典!共分七章讲解,内容全了。有兴趣的朋友可以看看。

立即下载
Linux网络体系结构 Linux内核中网络协议设计与实现 ,(美)威尔(Wehrle,K.)等著 ,P489.pdf

中文版 高清带书签 编写本书是为了向学生和专业人员提供在Linux内核中实现网络功能时所需的基础知识,本书也适合所有希望深入理解操作系统内部网络特定进程的人。本书介绍了Linux内核的关键网络组件及机制,同时也介绍了通信系统的设计。 本书详细地描述了新近Linux内核版本中的网络子系统。 这里解释了协议的工作方式,建立了Linux网络体系结构中的多种重要概念——从设备驱动程序概念一直到应用程序接口概念。 除了PPP、IP、防火墙、路由、TCP、NAT、UDP及套接字等核心问题外,本书还讨论了最新的协议及协议扩展,譬如各种DSL访问技术中用到的PPPoE协议、Bluetooth(蓝牙)?驱动程序

立即下载
形式化语言 z语言 缪淮扣

z语言 缪淮扣 上海大学 形式化语言 用于软件工程的各个阶段

立即下载
形式化方法

形式化方法:通过数学逻辑来表述一个软件开发,最终还可以通过验证来证明软件开发的可行性。

立即下载
网络协议的实现与应用实训教程

网络协议的实现与应用实训教程网络协议的实现与应用实训教程 3 1.实训目的 本实训的目的通过课程的学习,要求学生:熟练掌握协议服务模 型、服务原语等网络协议工程基本概念;掌握网络协议工程的方法学 和主要环节、协议测试的目的和环节;掌握FTP、ICMP等网络协议 的设计及实现方法;初步了解网络协议的形式化方法、工作流、协议 栈

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

网络协议的形式化分析与设计

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
6 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: