位置：成果数据库 > 期刊 > 期刊详情页
基于CFSM的协议形式化技术研究
  • 期刊名称：中国计算机学会会刊,计算机工程与科学
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：武汉理工大学
  • 页码：1998，20（3）：6-12
  • 语言：中文
  • 相关项目：通信协议的自稳定性研究
作者： 李腊元|
同期刊论文项目
通信协议的自稳定性研究
期刊论文 4 会议论文 5 获奖 2
同项目期刊论文
The algorithms for achieving global states and self-stabilization for communication protocols
通信协议的全局状态算法及自稳定性
基于标号有限状态机的协议形式描述与验证