您的位置： 专家智库 > >

徐俊

作品数：1 被引量：2H指数：1
供职机构：浙江理工大学信息电子学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇通信
  • 1篇通信协议
  • 1篇EFSM模型

机构

  • 1篇浙江理工大学

作者

  • 1篇舒挺
  • 1篇宋瑾钰
  • 1篇徐俊
  • 1篇贾宇波

传媒

  • 1篇工业控制计算...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
EFSM模型动态解释技术的研究被引量：2
2012年
扩展有限状态机EFSM模型行为的动态解释是基于EFSM模型协议一致性测试中的关键技术之一。首先深入探讨了两类经典的模型行为解释技术:基于编译的方法和基于第三方软件扩展接口的方法。然后,在分析两类方法优缺点的基础上,提出了一种基于动态脚本交互技术的模型行为解释新方法。新方法把模型行为复杂的词法和语法解释任务化简为一个基于动态交互技术的脚本执行问题。最后,通过一个应用实例验证了新方法的可行性。
徐俊舒挺贾宇波宋瑾钰
关键词：EFSM模型通信协议
全选 清除 导出
共1页<1>
聚类工具0