• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"主题词=协议规范语言"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
基于时序逻辑的面向实现的协议规范语言
收藏
分享
引用
《小型微型计算机系统》2004年 第5期25卷 847-850页
作者：刘才兴 肖德琴 张焕国 邹华胜华南农业大学信息学院计算机科学与工程系广东广州510642 武汉大学计算机学院湖北武汉430072 温州师范学院计算机系浙江温州325027 
在多种形式化描述语言和时序逻辑原理的研究之上 ;针对通讯协议的特点提出一个协议模型思想 ,并设计了实现此模型协议描述语言 .本方法的特点是 :基于时序逻辑 ;引入了面向对象的概念 ,对事件有强的描述能力 ,让描述更接近于现实 ;扩展...
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部