云南高校图书馆联盟文献共享服务平台- 形式化描述技术

形式化描述技术: 作品数：8被引量：10H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：顾翔赵保华屈玉贵赵静王颖更多>>; 相关机构：中国科学技术大学合肥工业大学上海交通大学北京邮电大学更多>>; 相关期刊：《北京邮电大学学报》《微电子学与计算机》《通信学报》《通信技术》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划安徽省自然科学基金中国科学院院长基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于CSP和RSL的协议形式化描述技术研究: 《微电子学与计算机》2009年第3期93-96,101,共5页顾翔邱建林; 国家自然科学基金项目(60773041);江苏省高校自然科学重大基础研究项目(07KJA51007);江苏省高校自然科学研究计划项目(05KJD520166);江苏省高校自然科学基础研究项目(08KJB520009);南通市应用研究计划项目(K2007013);2005年南通大学博士启动基金项目;江苏省高校"青蓝工程"; 协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较...; 关键词：形式化描述技术通信顺序进程 RSL