论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 电脑知识与技术：学术版期刊 \
自动机理论在协议开发中的应用
自动机理论在协议开发中的应用
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
本文阐述了应用有限自动机进行软件设计的步骤,提出了应用有限自动机进行协议验证的处理思想,并且给出了实现方法。使用有限自动机在协议分析和协议验证中充分考虑了通讯过程的完整性,提高了通讯协议的可靠性。
推荐文章
基于有限自动机的PPP协议描述
PPP协议
有限自动机
状态图
树自动机理论在XML中的应用
XML
树自动机
非排列树自动机
元胞自动机在"数字油田"中的应用
数字油田
元胞自动机
复杂性
自动机理论在IEC 61850中的应用
IEC61850
状态机
自动机理论
时序
变电站自动化
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 自动机理论在协议开发中的应用 | ||
| 来源期刊 | 电脑知识与技术：学术交流 | 学科 | 工学 |
| 关键词 | 有限自动机 协议分析 协议验证 | ||
| 年，卷（期） | 2007,（5） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 784-785 | |
| 页数 | 2页 | 分类号 | TP301.1 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (1)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2005(1)
- 参考文献（1）
- 二级参考文献（0）
2007(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
有限自动机
协议分析
协议验证
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电脑知识与技术：学术版
主办单位：
时代出版传媒股份有限公司
中国计算机函授学院
出版周期：
旬刊
ISSN：
1009-3044
CN：
34-1205/TP
开本：
出版地：
安徽合肥市濉溪路333号
邮发代号：
26-188
创刊时间：
语种：
出版文献量（篇）
41621
总下载数（次）
23
总被引数（次）
0
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
电脑知识与技术：学术版2021
电脑知识与技术：学术版2020
电脑知识与技术：学术版2019
电脑知识与技术：学术版2018
电脑知识与技术：学术版2017
电脑知识与技术：学术版2016
电脑知识与技术：学术版2015
电脑知识与技术：学术版2014
电脑知识与技术：学术版2013
电脑知识与技术：学术版2012
电脑知识与技术：学术版2011
电脑知识与技术：学术版2010
电脑知识与技术：学术版2009
电脑知识与技术：学术版2008
电脑知识与技术：学术版2007
电脑知识与技术：学术版2006
电脑知识与技术：学术版2005
电脑知识与技术：学术版2007年第9期
电脑知识与技术：学术版2007年第8期
电脑知识与技术：学术版2007年第7期
电脑知识与技术：学术版2007年第6期
电脑知识与技术：学术版2007年第5期
电脑知识与技术：学术版2007年第4期
电脑知识与技术：学术版2007年第3期
电脑知识与技术：学术版2007年第2期
电脑知识与技术：学术版2007年第12期
电脑知识与技术：学术版2007年第11期
电脑知识与技术：学术版2007年第10期
电脑知识与技术：学术版2007年第1期
