云南高校图书馆联盟文献共享服务平台- 协议形式化

协议形式化: 作品数：24被引量：38H指数：4; 导出分析报告; 相关领域：自动化与计算机技术电子电信更多>>; 相关作者：顾翔赵保华屈玉贵赵静邱建林更多>>; 相关机构：中国科学技术大学兰州理工大学南通大学天津大学更多>>; 相关期刊：《计算机工程与设计》《微电子学与计算机》《桂林理工大学学报》《计算机应用与软件》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划江苏省高校自然科学研究项目博士科研启动基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

RSL应用于协议形式化描述的研究: 《小型微型计算机系统》2004年第3期447-450,共4页赵静屈玉贵赵保华; 国家自然科学基金重大研究计划项目 ( 90 10 40 10 )资助;国家 863计划项目 ( 2 0 0 1AA112 0 62 )资助; 在 RSL 形式语言的基础上扩充了时间描述机制 ,使其能够描述协议的实时性 ;并且根据该语言的特点 ,提出了一种面向对象的 FSM模型 (OOFSM) ,该模型将面向对象技术与 FSM相结合 ,既可以有效地解决当构造复杂协议时 FSM所面临的状态爆炸问...; 关键词：形式化描述 RSL 形式描述语言面向对象 FSM 时间描述机制通信协议