%0 Journal Article
%T 基于sdl语言的移动ad-hoc网路由协议的设计和验证
%A 潘红艳 于全？
%J 计算机科学
%D 2004
%X 论文简要阐述了sdl的基本概念及使用它开发通信协议软件的优点，并给出在移动ad—hoc网路由协议开发中采用sdl语言对路由协议软件进行设计和验证的实例，为通信协议的设计和验证提供了一种有效的方法。
%K 移动ad-hoc网路路由协议设计验证通信协议软件sdl语言计算机网络
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=9323030&flag=1