共 7 条
- [5] 重构[M]. 中国电力出版社 , (美) 福勒 (Fowler, 2003
- [6] Design and implementation of a dynamic protocol framework [J]. COMPUTER COMMUNICATIONS, 2006, 29 (09) : 1309 - 1315
- [7] A Protocol Modelling and Verification Approach Based on a Specification Language and PetriNets .2 Suzuki T. IEEE Transactions on Software Engineering . 1990