IWPTS'95 (International Workshop on Protocol Test Systems) is being held this year at !NT (Institut National des Telecommunications), Evry, France, from 4 to 6

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

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

For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification