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

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

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

一种基于RSL的协议形式化描述技术的研究被引量：5: 《计算机科学》2003年第1期97-98,共2页赵静屈玉贵赵保华; 国家自然科学基金(90104010); 国家863计划项目(2001AA112062); This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of p...; 关键词：RSL 形式化描述技术通信协议协议工程学计算机网络