首页> 外文OA文献 >Formal Model and Analysis of Sliding Window Protocol Based on NuSMV

【2h】

Formal Model and Analysis of Sliding Window Protocol Based on NuSMV

机译：基于NuSMV的滑动窗口协议形式化模型与分析。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yefei Zhao; Yang Zong-yuan; Jinkui Xie; Qiang Liu;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal Model and Analysis of Sliding Window Protocol Based on NuSMV [J] . Yefei Zhao, Yang Zong-yuan, Jinkui Xie, Journal of Computers . 2009,第6期

机译：基于NUSMV的滑动窗口协议的正式模型与分析
2. FORMAL ANALYSIS OF BPMN MODELS: A NuSMV-BASED APPROACH [J] . VITUS S. W. LAM International journal of software engineering and knowledge engineering . 2010,第7期

机译：BPMN模型的形式分析：一种基于NuSMV的方法
3. Sliding window protocol with selective-repeat ARQ: performance modeling and analysis [J] . Takashi Ikegawa, Yukio Takahashi Telecommunication Systems . 2007,第3a4期

机译：具有选择性重复ARQ的滑动窗口协议：性能建模和分析
4. Modeling and analysis of the position-guided sliding-window routing protocol [C] . Sheng Xu, Papavassiliou, S. . 2003

机译：位置引导的滑动窗口路由协议的建模和分析
5. Behavioral analysis, user modeling, and protocol design based on large-scale wireless network traces [D] . Hsu, Wei-Jen 2008

机译：基于大规模无线网络跟踪的行为分析，用户建模和协议设计
6. Annotation of rule-based models with formal semantics to enable creation analysis reuse and visualization [O] . Goksel Misirli, Matteo Cavaliere, William Waites, -1

机译：使用正式语义对基于规则的模型进行注释以实现创建分析重用和可视化
7. Formal Model and Analysis of Sliding Window Protocol Based on NuSMV [O] . Qiang Liu, Jinkui Xie, Zong-yuan Yang, 2009

机译：基于NuSMV的滑动窗口协议形式化模型与分析。

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号