Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989

著者

• IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification
• Brinksma, Ed
• Scollo, Giuseppe
• IFIP Working Group 6.1
• Vissers, Chris A.

書誌事項

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989

edited by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

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

注記

Includes index

内容説明・目次

内容説明

Researchers and practitioners concerned with the application of formal methods to the design, description, analysis, implementation and testing of open systems contributed to this book. It is the ninth in a successful series of annual volumes.

目次

Invited presentations: Design and Verification in Real-Time Distributed Computing: An Introduction to Compositional Methods (W.P. de Roever, J.J.M. Hooman). Open Distributed Processing (J.J. van Griethuysen). Contributed Sections: System Specification. Process Algebra Applications. Conformance Testing. Specification Language Transformation. Transition System Applications. Tool Environments. Verification by State Space Exploration. Temporal Logic Applications. Contributors: G. von Bochmann, P. Boehm, S. Chan, R.I. Chan, W.Y.L. Chan, S.T. Chanson, M.S. Chen, R. Cleaveland, A.T. Dahbura, W.B. Davis, M. Deslauriers, M. Diaz, T.S. Dillon, D.D. Dimitrijevic, P. van Eijk, M. Faci, P. Gburzynski, N. Gotz, J. Gustafsson, I.J. Hayes, T. Higashino, G.J. Holzmann, M.R. Ito, C. Jard, J.M. Jezequel, H. Kaminaga, A. Kershenbaum, T. Kimoto, R.P. Kurshan, R. Lai, R. Langerak, B.P. Lee, L. Logrippo, F. Lombardi, M. Mori, M. Mowbray, G. Neufeld, K. Ninomiya, S. Noguchi, F. Orava, N.J. Parakh, K.P. Parker, J. Parrow, M. Phalippou, B. Pradin-Chezalviel, G.A. Rose, H. Rudin, P. Rudnicki, H.L. See, Y.-N. Shen, N. Shiratori, B.R. Smith, B. Solomon, B. Steffen, B. Stepien, T. Stroup, K. Takahashi, K. Taniguchi, S.T. Vuong, C.D. Wezeman, D. Wolz, M.C. Yuang, H.X. Zeng

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA07879202
• ISBN:
  • 0444883436
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; Tokyo,New York, N.Y., U.S.A.
• ページ数/冊数: xvi, 401 p.
• 大きさ: 23 cm
• 分類:
  • LCC : TK5105.5
  • DC19 : 004.6/2
• 件名:
  • LCSH : Computer network protocols -- Congresses