首页> 中文期刊> 《计算机科学》 >基于SDL语言的移动Ad-hoc网路由协议的设计和验证

基于SDL语言的移动Ad-hoc网路由协议的设计和验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点,并给出在移动Ad-hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例,为通信协议的设计和验证提供了一种有效的方法.

著录项

来源
《计算机科学》 |2004年第3期|31-33|共3页
作者
潘红艳; 于全;
展开▼
作者单位

中国科学技术大学研究生院;

北京;

100039;

中国电子设备系统工程公司研究所;

北京;

100039;

中国电子设备系统工程公司研究所;

北京;

100039;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
SDL;

相似文献

中文文献
外文文献
专利

1. 一种改进的Ad-hoc路由协议的规范化设计与验证 [J] . 程克勤 . 计算机工程与设计 . 2005,第004期
2. 基于移动Ad-Hoc无线网络MAODV组播路由协议研究 [J] . 樊彪 ,施荣华 . 计算机工程与设计 . 2010,第001期
3. 基于SDL的无线局域网MAC协议设计与实现 [J] . 胡田立 ,杨洋 ,金德鹏 . 计算机工程 . 2006,第007期
4. 基于SDL的集成R语言大数据挖掘系统设计 [J] . 陈景超 . 电子技术与软件工程 . 2014,第007期
5. 基于SDL语言的SIP协议的形式化设计 [J] . 陈媛媛 ,梅杓春 . 信息通信 . 2008,第002期
6. 无线移动Ad-hoc路由协议DSR的安全研究 [C] . 张翔 ,汪文勇 ,吴荣 . 中国教育和科研计算机网(CERNET)第十五届学术年会 . 2008
7. 移动Ad-hoc网络路由协议研究与实现 [A] . 刘杰 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号