ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks
暂无分享,去创建一个
[1] Qian-Ping Gu,et al. Formal description and analysis of a distributed location service for mobile ad hoc networks , 2005, Theor. Comput. Sci..
[2] Angelo Gargantini,et al. Abstract State Machines 2003 , 2003, Lecture Notes in Computer Science.
[3] Dieter Hogrefe,et al. SDL : formal object-oriented language for communicating systems , 1997 .
[4] Martin Mauve,et al. A survey on position-based routing in mobile ad hoc networks , 2001, IEEE Netw..
[5] Egon Börger,et al. Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .
[6] Tamás Lukovszki,et al. Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks , 2003, Abstract State Machines.