基于NuSMV的滑动窗口协议的形式化建模与分析[EB/OL]
北京：中国科技论文在线
模型检测技术已经广泛应用于硬件验证和网络协议分析
本文提出的特定位滑动窗口协议分析方法
给出了滑动窗口协议在三种不同信道条件下的形式化模型
可以推广到任意位的滑动窗口协议分析
） 摘要： 基于Kripke结构的模型检测技术
基于NuSMV的滑动窗口协议的形式化建模与分析Formal model and analysis of sliding window protocol based on NuSMV
3997
来源：
Licence：
联系：
分类：
平台：
环境：
大小：
更新：
标签：
免费下载
×
温馨提示
请用电脑打开本网页，即可以免费获取你想要的了。
