Protocol Specification, Testing and Verification: 1989 9th
International Workshop Proceedings
Published in December 1989
Book
Hardback
418 pages
978-0-444-88343-8 (ISBN)
Description
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.
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.
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.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Illustrations
Illustrations
Dimensions
Height: 230 mm
ISBN-13
978-0-444-88343-8 (9780444883438)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
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