Indexed by：
Abstract：
由于无线传感器网络(WSN)带来的新特点,需要开发更多区别于传统网络的路由协议.形式化方法Object-Z是建立在严密数学基础之上的开发方法,其形式化规约语言的测试和设计工作可以同时开始,适用于新网络、新算法的研究开发.文章提出了运用形式化方法Object-Z对flooding算法建模的方法.建模结果表明Object-Z适用于无线传感器网络的路由协议,并可实现对flooding算法的描述和验证.
Keyword：
Reprint 's Address：
Email：
Version：
Source ：
计算机与数字工程
ISSN： 1672-9722
CN： 42-1372/TP
Year： 2010
Issue： 1
Volume： 38
Page： 15-17,90
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 0
Affiliated Colleges：
