共 7 条
- [1] Formal verification and testing of protocols [J]. COMPUTER COMMUNICATIONS, 1999, 22 (07) : 681 - 690
- [2] CHEN WH, 1997, IEEE T COMMUNICATI E, V80
- [3] CHEN WH, 1995, IEEE ASM T NETWORKIN
- [4] Synchronizable test sequences of finite state machines [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1998, 30 (12): : 1111 - 1134
- [5] TIAN J, 2000, 6 COMP SCI TECHN C C, P288
- [6] URAL H, 1991, IEEE T COMMUNICATION, V39
- [7] WANG JG, 1998, IEEE INT C COMM, V1, P286