协议形式化

作品数：24被引量：38H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：顾翔赵保华屈玉贵赵静邱建林更多>>
相关机构：中国科学技术大学兰州理工大学南通大学天津大学更多>>
相关期刊：《计算机工程与设计》《微电子学与计算机》《桂林理工大学学报》《计算机应用与软件》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省高校自然科学研究项目博士科研启动基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于FSM的协议形式化技术研究
《计算机工程与设计》1993年第1期30-39,共10页李腊元 
本文主要讨论基于有限状态机(FSM)的协议形式化技术问题。文中论述了FSM形式描述与验证的技术特征,提出了一种增强FSM形式化方法,并给出了基于该方法的形式描述与验证的协议实例。
关键词：计算机网络 通信协议 FSM 协议形式化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部