Formal Analysis and Design of Network Protocols

Author: Gu Tianlong
Publisher:
Publish Date: 2003-06-01
Features: This book discusses and introduces formal methods and techniques in network protocol analysis and design, mainly including an introduction to network protocols and development, formal models of network protocols, formal description languages for network protocols, etc.