Ye M H, Zhang H M, Liu Y. The mobile IP handoff between Hybrid networks[J]. Journal of Beijing University of Posts and Telecommunications. 2002, 25(3): 83-87.
[3]
Ma H D. Specification and verification of Multimedia Synchronization in Duration Calculus[J]. Journal of Computer Science and Technology, 2003.18(2):172-180.
[4]
Park T , Dadej A. OPNET simulation modeling and analysis of enhanced Mobile IP[A]. Proc IEEE WCNC 2003[C]. IEEE Press, 2003. 1017-1024.
[5]
Dang Z, et al. Using the ASTRAL model checker to analyze Mobile IP[A]. ICSE’99[C]. 1999. 132-141.
[6]
IETF. RFC 2002—1996, IP mobility support[S].
[7]
Alur R ,Dill D. A theory of timed automata[J]. Journal of Theoretical Computer Science,1994. 126(2):183-235.
[8]
Larsen K G, Pettersson P, and Wang Y. UPPAAL in a nutshell[J]. Journal on Software Tools for Technology Transfer,1997,1(1~2):134-152.
