作者:文凡,李思敏,唐志灵 单位:北京方略信息科技有限公司 出版:《国外电子测量技术》2009年第04期 页数:5页  (PDF与DOC格式可能不同) PDF编号:PDFGWCL2009040100 DOC编号:DOCGWCL2009040109 下载格式:PDF + Word/doc 文字可复制、可编辑
  • 本文提出了将形式化方法引入无线传感器网络通信协议设计的观点,简要介绍了形式化设计方法,针对无线传感器网络的特点设计了简化路由协议,同时利用SDL语言工具对其进行设计与实现,协议的具体实现证明上述方法的应用对确保协议的逻辑正确性,缩短开发周期都起到了重要的作用。

    提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。