SIP协议系统模型的形式化研究

Name: SIP协议系统模型的形式化研究
Rating: 4.5 (38 reviews)
Author: tor17630

上传者：tor17630 2020-09-03 20:36:20上传 PDF文件 77.24KB 热度 38次

本文总体上分析了SIP系统的主要组成,用SDL语言和MSC语言形式化地描述了SIP协议的主要系统模型。

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

SIP协议系统模型的形式化研究

本文总体上分析了SIP系统的主要组成,用SDL语言和MSC语言形式化地描述了SIP协议的主要系统模型...

大小：77KB | 2020-09-03 20:36:20
安全协议形式化研究与实现

硕士论文,研究通信安全协议方面的，对形式化的研究与实现

大小：0B | 2019-07-29 21:17:09
协议形式化相关论文

收集的协议形式化的相关论文，总共57篇，希望对别的同学了解协议形式化有所帮助

大小：0B | 2019-09-18 06:45:50
本体的形式化研究

知识本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体的表示有多种...

大小：361KB | 2020-10-28 06:42:12
论文形式化的协议性能测试框架

The paper "Formal Protocol Performance Testing Fra...

大小：0B | 2019-06-26 17:20:44
电信协议工程与形式化方法

Telecommunications protocol engineering and formal...

大小：0B | 2019-06-26 17:20:39
论文研究免疫系统的形式化研究.pdf

免疫系统的形式化研究，杨朋樽，田玉玲，免疫算法是基于生物免疫系统而提出的优化算法，在工业控制、组合优...

大小：0B | 2019-09-23 00:37:17
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
软件需求的形式化转换模型.pdf

需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、...

大小：0B | 2019-04-29 01:45:53
论文研究基于MDA的MARTE模型形式化方法.pdf

针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述...

大小：0B | 2020-03-16 09:06:32
论文研究无线移动终端的SAV协议的形式化建模与模型检测.pdf

公钥数字签名方案中验证方是低运算能力的移动智能设备时，验证方在验证过程中需要借助于服务器来辅助验证。...

大小：0B | 2020-06-10 14:06:36
论文研究基于ASM的元模型形式化语义的研究.pdf

提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术，形式化地描述了元模型及其语义...

大小：0B | 2019-09-23 00:37:08
论文基于形式化方法的协议测试理论

论文《基于形式化方法的协议测试理论》

大小：0B | 2019-09-14 21:48:51
安全协议分析的形式化理论与方法

研究生论文-安全协议分析的形式化理论与方法

大小：4.32MB | 2020-08-14 23:04:08
基于MDE的UML模型到形式化模型的转换方法研究

模型转换的参考资料，仅供参考。出处：研究生：刘亚萍研究方向：软件开发与验证指导教师：黄志球教授南京航...

大小：0B | 2019-09-27 22:26:34
形式化方法CSP

Communicatingsequentialprocesses:形式化方法CSP,进程代数CSP

大小：0B | 2020-06-01 19:03:18