登录 注册
当前位置:主页 > 资源下载 > 9 > 论文研究-基于NuSMV的滑动窗口协议的形式化建模与分析 .pdf下载

论文研究-基于NuSMV的滑动窗口协议的形式化建模与分析 .pdf下载

  • 更新：2024-10-18 11:30:14
  • 大小：457KB
  • 推荐：★★★★★
  • 来源：网友上传分享
  • 类别：其它 - 开发技术
  • 格式：PDF
文件下载

资源介绍

基于NuSMV的滑动窗口协议的形式化建模与分析，赵也非，杨宗源，基于Kripke结构的模型检测技术，能够以穷举系统状态空间的方法，自动推理和证明由时态逻辑描述的系统关键属性。目前，模型检测技术
相关推荐

热门标签

资源声明

本站所有软件、应用、教程内容均由小编以及网友收集资料和整理而来，其著作权归原作者所有，仅供学习和研究使用，如有侵犯你版权的，请发邮箱jdjdokok@163.com指出，本站将立即改正。

酷码网　 粤ICP备2024314634号