Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification

Author(s)

Bibliographic Information

Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification

organized by IBM Zurich Research Laboratory, Zurich, Switzerland, 5-8 May 1987 ; edited by Harry Rudin and Colin H. West

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987

Available at  / 13 libraries

Search this Book/Journal

Note

Includes index

Description and Table of Contents

Table of Contents

  • 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).

by "Nielsen BookData"

Details

Page Top