Protocol Specification, Testing and Verification: 1987 7th
International Workshop Proceedings
Published in August 1987
Book
Hardback
272 pages
978-0-444-70293-7 (ISBN)
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
Width: 150 mm
ISBN-13
978-0-444-70293-7 (9780444702937)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
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).