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

Name: 论文《基于形式化方法的协议测试理论》
Rating: 4.5 (52 reviews)
Author: samble415

上传者：samble415 2019-09-14 21:48:51上传 PDF文件 388.75KB 热度 52次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

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

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

大小：0B | 2019-09-14 21:48:51
论文形式化的协议性能测试框架

The paper "Formal Protocol Performance Testing Fra...

大小：0B | 2019-06-26 17:20:44
安全协议分析的形式化理论与方法

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

大小：4.32MB | 2020-08-14 23:04:08
协议形式化相关论文

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

大小：0B | 2019-09-18 06:45:50
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
电信协议工程与形式化方法

Telecommunications protocol engineering and formal...

大小：0B | 2019-06-26 17:20:39
形式化变分理论

形式化变分理论，赵建中，，本文以数学逻辑讨论了弹性力学中的变分理论，提出变分理论一致性原则。文章讨论...

大小：0B | 2020-06-15 17:54:38
论文《用于通信网络协议开发的形式化方法》

大小：0B | 2019-01-11 00:05:37
形式化方法CSP

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

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

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

大小：0B | 2020-05-15 21:37:38
形式化方法资料

形式化方法的课件，北大裘宗燕老师的课件

大小：0B | 2018-12-26 05:23:29
形式化方法概貌

大小：0B | 2019-01-10 23:14:58
论文研究基于MDA的MARTE模型形式化方法.pdf

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

大小：0B | 2020-03-16 09:06:32
Modbus协议一致性测试的形式化方法

首先提出了一致性测试的形式化方法的总体架构;然后分析了Mosbus协议形式化方法,给出了Modbus...

大小：121KB | 2020-08-10 08:50:02
形式化方法课件中文

北大形式化方法课程的课件，重点介绍软件开发过程中的形式化方法。

大小：0B | 2018-12-26 05:23:08
论文研究基于形式化的测试框架及实例分析.pdf

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

大小：0B | 2019-09-14 21:48:41