|国家科技期刊平台
| 注册
首页|期刊导航|计算机应用与软件|基于标号有限状态机的协议形式描述与验证

基于标号有限状态机的协议形式描述与验证

李腊元

计算机应用与软件Issue(3)：P.9-14,7.
✕
计算机应用与软件Issue(3)：P.9-14,7.

基于标号有限状态机的协议形式描述与验证

李腊元1

作者信息

  • 1. 武汉交通科技大学,武汉430063
  • 折叠

摘要

关键词

计算机网络/有限状态机/协议形式化

分类

信息技术与安全科学

引用本文复制引用

李腊元..基于标号有限状态机的协议形式描述与验证[J].计算机应用与软件,1998,(3):P.9-14,7.

基金项目

国家自然科学基金 （）

湖北省自然科学基金 （）

计算机应用与软件

OA北大核心

1000-386X

访问量0
|
下载量0
段落导航相关论文