论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 电脑知识与技术：学术版期刊 \
协议形式化描述与一致性验证研究
协议形式化描述与一致性验证研究
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cation and Description Language）以及树表结合表示法（TTCN：Tree and Tabular Combined Notation））探讨了协议的形式化描述与一致性验证问题．给出了协议形式化描述与一致性验证的一般方法.
推荐文章
INAP协议一致性测试生成的形式化方法
INAP
UIO序列
一致性测试
形式化方法
包含协议和语义的构件一致性验证方法
构件式设计
方法语义
语义扩展接口自动机
一致性
带语义约束的交互概观图
基于B方法的TCP协议形式化研究
B方法
形式化方法
协议
TCP
一致性测试
基于CSP和RSL的协议形式化描述技术研究
形式化描述技术
通信顺序进程
RSL
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 协议形式化描述与一致性验证研究 | ||
| 来源期刊 | 电脑知识与技术：学术交流 | 学科 | 工学 |
| 关键词 | 形式化描述 一致性验证 SDL | ||
| 年，卷（期） | 2010,（4） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 2363-2364 | |
| 页数 | 2页 | 分类号 | TP309.04 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (2)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2007(1)
- 参考文献（1）
- 二级参考文献（0）
2010(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
形式化描述
一致性验证
SDL
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电脑知识与技术：学术版
主办单位：
时代出版传媒股份有限公司
中国计算机函授学院
出版周期：
旬刊
ISSN：
1009-3044
CN：
34-1205/TP
开本：
出版地：
安徽合肥市濉溪路333号
邮发代号：
26-188
创刊时间：
语种：
出版文献量（篇）
41621
总下载数（次）
23
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
电脑知识与技术：学术版2021
电脑知识与技术：学术版2020
电脑知识与技术：学术版2019
电脑知识与技术：学术版2018
电脑知识与技术：学术版2017
电脑知识与技术：学术版2016
电脑知识与技术：学术版2015
电脑知识与技术：学术版2014
电脑知识与技术：学术版2013
电脑知识与技术：学术版2012
电脑知识与技术：学术版2011
电脑知识与技术：学术版2010
电脑知识与技术：学术版2009
电脑知识与技术：学术版2008
电脑知识与技术：学术版2007
电脑知识与技术：学术版2006
电脑知识与技术：学术版2005
电脑知识与技术：学术版2010年第9X期
电脑知识与技术：学术版2010年第9期
电脑知识与技术：学术版2010年第8X期
电脑知识与技术：学术版2010年第8期
电脑知识与技术：学术版2010年第7X期
电脑知识与技术：学术版2010年第7期
电脑知识与技术：学术版2010年第6期
电脑知识与技术：学术版2010年第5期
电脑知识与技术：学术版2010年第4X期
电脑知识与技术：学术版2010年第4期
电脑知识与技术：学术版2010年第3X期
电脑知识与技术：学术版2010年第3期
电脑知识与技术：学术版2010年第2期
电脑知识与技术：学术版2010年第12期
电脑知识与技术：学术版2010年第11期
电脑知识与技术：学术版2010年第10期
电脑知识与技术：学术版2010年第1期
电脑知识与技术：学术版2010年第02Z期
电脑知识与技术：学术版2010年第02X期
电脑知识与技术：学术版2010年第01Z期
电脑知识与技术：学术版2010年第01X期
