Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification
Harry R. Rudin, Colin H. West · Elsevier eBooks · 1987
Invited Paper: OSI Protocol Testing at the Corporation for Open Systems (I.C. Davidson). Sessions: Specification (J.-P. Courtiat A. Fleischmann G.J. Leduc L. Logrippo, A. Obaid L.F. Mackert, I. Neumeier-Mackert B. Meandzija, W.P.-C. Ho J. Quemada, A. Fernandez K.J. Turner). Invited Paper: Usage of Protocol Development Tools: The Results of a Survey (G. v. Bochmann). Verification (T. Bolognesi, S.A. Smolka A.R. Cavalli, F. Horn E. Najm J. Pachl J.L. Richier et al.). Protocol Analysis (S. Aggarwal, D. Barbara, C. Courcoubetis P. Dembinski, S. Budkowski D. Gilbert P.S. Kritzinger N.F. Maxemchuk, K. Sabnani G. Pappalardo). Invited Paper: On Limits and Possibilities of Automated Protocol Analysis (G.J. Holzmann). Testing (J. Freudenmann W. Hengeveld, J. Kroon A.S. Krishnakumar, B. Krishnamurthy, K. Sabnani K.H. Muralidhar Y. Ohara, S. Yoshitake, T. Kawaoka E.P. Rathgeb et al. H. Ural).