Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification
著者
書誌事項
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
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes index
内容説明・目次
目次
- 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).
「Nielsen BookData」 より
