Testing Methodology Using SDL for an On-demand Routing Protocol in MANET
暂无分享,去创建一个
Abolfazl Toroghi Haghighat | F. Rookhosh | S. Nickmanesh | A. Haghighat | F. Rookhosh | S. Nickmanesh
[1] Ana R. Cavalli,et al. Testing Methods for SDL Systems , 1996, Comput. Networks ISDN Syst..
[2] Charles E. Perkins,et al. Ad hoc On-Demand Distance Vector (AODV) Routing , 2001, RFC.
[3] David B. Johnson,et al. Routing in Ad Hoc Networks of Mobile Hosts , 1994, 1994 First Workshop on Mobile Computing Systems and Applications.
[4] David A. Maltz,et al. Protocols for Adaptive Wireless and Mobile Networking , 1996 .
[5] Richard Castanet,et al. Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis , 2002, TestCom.
[6] J. Broch,et al. Dynamic source routing in ad hoc wireless networks , 1998 .
[7] David A. Maltz,et al. A performance comparison of multi-hop wireless ad hoc network routing protocols , 1998, MobiCom '98.
[8] Asis Nasipuri,et al. Mobile Ad Hoc Networks , 2004 .
[9] Vaduvur Bharghavan,et al. MACAW: a media access protocol for wireless LAN's , 1994, SIGCOMM 1994.
[10] Gregory A. Hansen,et al. The Optimized Link State Routing Protocol , 2003 .
[11] Elizabeth M. Belding-Royer,et al. A review of current routing protocols for ad hoc mobile wireless networks , 1999, IEEE Wirel. Commun..
[12] Jing Deng,et al. Dual busy tone multiple access (DBTMA): a new medium access control for packet radio networks , 1998, ICUPC '98. IEEE 1998 International Conference on Universal Personal Communications. Conference Proceedings (Cat. No.98TH8384).
[13] Zygmunt J. Haas,et al. The zone routing protocol (zrp) for ad hoc networks" intemet draft , 2002 .
[14] David A. Maltz,et al. Dynamic Source Routing in Ad Hoc Wireless Networks , 1994, Mobidata.
[15] Vincent Park,et al. Temporally-Ordered Routing Algorithm (TORA) Version 1 Functional Specification , 2001 .
[16] David B. Johnson,et al. The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks , 2003 .
[17] David Lee,et al. Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.