This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proce

This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectur

The increasing number of computer networks has aroused users' interest in many and various fields of applications, in how a computer network can be built, and i

This book presents the latest research results in protocol testing. It contains the complete proceedings of the seventh IFIP WG6.1 International Workshop on Pro

Protocol Specification, Testing and Verification (PSTV) brings together contributions from researchers and practitioners interested in the application of formal