共 50 条
- [23] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION COMPUTER NETWORKS AND ISDN SYSTEMS, 1984, 8 (01): : 57 - 65
- [24] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION COMPUTER NETWORKS AND ISDN SYSTEMS, 1984, 8 (02): : 146 - 155
- [26] A node-traffic characteristics considered clustering broadcast protocol for VANETs Gaojishu Tongxin/Chinese High Technology Letters, 2012, 22 (05): : 468 - 476
- [27] Executable protocol specification in ESL FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2000, 1954 : 197 - 216
- [28] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (3-4): : 231 - 237
- [29] Prospex: Protocol Specification Extraction PROCEEDINGS OF THE 2009 30TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY, 2009, : 110 - +
- [30] Formal specification of a protocol processor EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, 2005, 3553 : 122 - 131