论文《形式化的协议性能测试框架》

Name: 论文《形式化的协议性能测试框架》
Rating: 4.5 (61 reviews)
Author: samble415

上传者：samble415 2019-06-26 17:20:44上传 PDF文件 275.53KB 热度 61次

The paper "Formal Protocol Performance Testing Framework"

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

论文形式化的协议性能测试框架

The paper "Formal Protocol Performance Testing Fra...

大小：0B | 2019-06-26 17:20:44
协议形式化相关论文

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

大小：0B | 2019-09-18 06:45:50
论文基于形式化方法的协议测试理论

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

大小：0B | 2019-09-14 21:48:51
论文研究基于形式化的测试框架及实例分析.pdf

测试工作细致繁杂，如何保证测试工作的全面性、完整性并建立统一的测试理论，指导测试工作自动、高效地展开...

大小：0B | 2019-09-14 21:48:41
SIP协议系统模型的形式化研究

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

大小：77KB | 2020-09-03 20:36:20
论文安全协议的形式化说明设计及验证

Paper "Formal Description, Design and Verification...

大小：0B | 2019-06-26 17:20:41
论文《用于通信网络协议开发的形式化方法》

大小：0B | 2019-01-11 00:05:37
安全协议形式化研究与实现

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

大小：0B | 2019-07-29 21:17:09
电信协议工程与形式化方法

Telecommunications protocol engineering and formal...

大小：0B | 2019-06-26 17:20:39
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
安全协议分析的形式化理论与方法

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

大小：4.32MB | 2020-08-14 23:04:08
本体的形式化研究

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

大小：361KB | 2020-10-28 06:42:12
形式化方法CSP

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

大小：0B | 2020-06-01 19:03:18
形式化方法教材

形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2

大小：0B | 2020-05-15 21:37:38
Otway Rees协议改进及形式化证明

选取认证密钥分配协议Otway-Rees协议作为研究对象,利用协议组合逻辑(PCL)作为协议证明工具...

大小：654KB | 2021-02-23 08:27:01
形式化B语言

形式化验证B语言安全系统设计软件工程

大小：0B | 2020-05-29 14:00:58