Title: Formal Description Techniques and Protocol Specification, Testing and Verification
Subjects: Computer engineering, Computer communication networks, Engineering, Computer science