形式化描述技术

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

检索结果分析

结果分析中...
选择条件:
  • 期刊=通信技术x
条 记 录,以下是1-1
视图:
排序:
基于FDT技术的无线通信协议实现方法
《通信技术》2003年第10期82-84,共3页胡文 史杏荣 
863项目资助(项目编号:2002AA783043)。
利用形式化描述技术FDT(FormalDescriptionTechnique),可以进行高效、可靠的通信协议与系统开发。以220B协议为例,介绍了MSC、SDL、TTCN等形式化描述语言对通信协议进行描述、分析、仿真、实现的过程;最后说明了如何将整个协议栈在硬件...
关键词:形式化描述技术(FDT) SDL MSC TTCN 220B 
检索报告 对象比较 聚类工具 使用帮助 返回顶部