Protocol specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988
著者
書誌事項
Protocol specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes index
内容説明・目次
内容説明
The results collected in this volume are from researchers and practitioners concerned with the theory and application of formal techniques to protocols. The main subject areas covered by the papers are: - formal models for computer communication systems - formal languages for the specification and verification of protocols - testing approaches and techniques for computer communication systems - verification and validation of communication protocols - automated implementation techniques for protocols - software environments for the development and analysis of protocols.
目次
Keynote Address: Protocol Engineering: A Critical Assessment (H. Rudin). Invited Papers: Architecture and Specification Style in Formal Description of Distributed Systems (C.A. Vissers, G. Scollo, M. van Sinderen). A Relational Notation for State Transition Systems (S.S. Lam, A.U. Shanker). Sessions: Specification. Testing and Simulation. Verification. Implementation. Contributors: A.V. Aho, P.D. Amer, S. Banerjee, T.P. Blumer, G. v. Bochmann, M. Bretschneider, E. Brinksma, R.I. Chan, W.Y.L. Chan, A. Chung, J.P. Courtiat, A.T. Dahbura, X.F. Du, M. Duque Anton, R. Duke, A. Fernandez, B. Fink, A. Finkel, R.A. Fleming, Q. Gao, R. Gotzhein, R. Guillemot, M. Haj-Hussein, I. Hayes, C.S. He, W.P.C. Ho, M.W.A. Hornbeek, C. Jard, G. Karjoth, K. Katsuyama, P. King, J.G. Kuhl, D. Lee, F.J. Lin, M.T. Liu, L. Logrippo, G.M. Lundy, B. Meandzija, C. Miguel, R.E. Miller, S.P. Miller, T. Mizuno, J. Munemori, T. Nakakawaji, S. Noguchi, K. Okumura, F. Orava, J.M. Pageot, J. Parrow, A. Pridor, R.L. Probert, J. Quemada, G. Rose, B. Sarikaya, F. Sato, J. Schmidt, N. Shiratori, D.P. Sidhu, K. Takahashi, H. Ural, M.U. Uyar, J. Vaucher, L. Vidaller, S.T. Vuong, H.X. Zeng.
「Nielsen BookData」 より
