您的位置： 专家智库 > >

唐志灵

作品数：1 被引量：8H指数：1
供职机构：桂林电子科技大学电子工程与自动化学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇网络
  • 1篇网络路由
  • 1篇网络路由协议
  • 1篇无线
  • 1篇无线传感
  • 1篇无线传感器
  • 1篇无线传感器网
  • 1篇无线传感器网...
  • 1篇无线传感器网...
  • 1篇路由
  • 1篇路由协议
  • 1篇感器
  • 1篇SDL
  • 1篇传感
  • 1篇传感器
  • 1篇传感器网
  • 1篇传感器网络
  • 1篇传感器网络路...

机构

  • 1篇桂林电子科技...

作者

  • 1篇文凡
  • 1篇李思敏
  • 1篇唐志灵

传媒

  • 1篇国外电子测量...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
无线传感器网络路由协议的形式化方法研究被引量：8
2009年
本文提出了将形式化方法引入无线传感器网络通信协议设计的观点,简要介绍了形式化设计方法,针对无线传感器网络的特点设计了简化路由协议,同时利用SDL语言工具对其进行设计与实现,协议的具体实现证明上述方法的应用对确保协议的逻辑正确性,缩短开发周期都起到了重要的作用。
文凡李思敏唐志灵
关键词：形式化方法SDL无线传感器网络路由协议
全选 清除 导出
共1页<1>
聚类工具0