咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 交通运输工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 被测协议实现
  • 1 篇 协议一致性测试
  • 1 篇 扩展有限状态机
  • 1 篇 uioe序列
  • 1 篇 以太网工厂自动化...
  • 1 篇 协议状态机
  • 1 篇 一致性测试
  • 1 篇 cbtc通信协议

机构

  • 1 篇 北京交通大学
  • 1 篇 重庆邮电大学

作者

  • 1 篇 易明华
  • 1 篇 张艳芳
  • 1 篇 滕竹
  • 1 篇 王浩文
  • 1 篇 王平

语言

  • 2 篇 中文
检索条件"主题词=被测协议实现"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
EPA协议状态机的一致性测试方法及实现
收藏
分享
引用
计算机集成制造系统 2007年 第3期13卷 621-624页
作者： 王平 王浩文 易明华 张艳芳 重庆邮电大学重庆市网络控制技术与智能仪器仪表重点实验室 重庆400065
以太网工厂自动化协议状态机的一致性测试方法,是将标准以太网工厂自动化服务原语序列作为激励输入被测协议实现,并检验其输出与预期输出是否一致,从而对以太网工厂自动化协议状态机实现与协议之间的一致性程度作出评判。针对以太网工... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于EFSM的CBTC通信协议一致性测试的研究
基于EFSM的CBTC通信协议一致性测试的研究
收藏
分享
引用
作者： 滕竹 北京交通大学
学位级别：硕士
在基于通信的列车运行控制(Communications-based Train Control,CBTC)系统中,安全通信协议是各子系统间可靠的数据通信的保证,也是整个系统安全的基础。自主开发的CBTC通信协议已通过安全分析及验证,能够满足CBTC系统的要求。为了保证... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件