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
Author(s)
Bibliographic Information
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
Available at / 9 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Atlantic City||1988.688071607
-
No Libraries matched.
- Remove all filters.
Note
Includes index
Description and Table of Contents
Description
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.
Table of Contents
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.
by "Nielsen BookData"