Protocol Specification, Testing and Verification XIV

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 "Architectures and Prools for Computer Networks". This is the oldest and most established symposium in the emerging field of prool engineering which has spawn many international conferences including FORTE (International Conference on Formal Description Tech­ niques), IWPTS (International Workshop on Prool Test Systems), ICNP (International Conf...