期刊文章详细信息
利用CCS的协议描述与验证技术的研究 ( EI收录)
On the Application of CCS to Protocol Descriptions and Protocol Verifications
文献类型：期刊文章
机构地区：[1]长沙工学院
年 份：1995
卷 号：32
期 号：3
起止页码：61-65
语 种：中文
收录情况：AJ、BDHX、BDHX1992、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、JST、SCOPUS、ZGKJHX、核心刊
摘 要：本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ（ａＣａｌｃｕｌｕｓｆｏｒＣｏｍｍｕｎｉｃａｔｉｎｇＳｙｓｔｅｍｓ）在协议描述、协议验证等方面有巨大应用潜力。
关 键 词：协议工程 协议描述 协议验证 通讯系统演算
分 类 号：TP393]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
