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
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987
Available at / 13 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Zurich||1987.587037993
-
No Libraries matched.
- Remove all filters.
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"