Piotr Dembinski / Marek Sredniawa (Hgg.)

Protocol Specification, Testing and Verification XV

Herausgegeben:Dembinski, Piotr; Sredniawa, Marek

• Gebundenes Buch

Produktbeschreibung

This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.

Produktdetails

• IFIP Advances in Information and Communication Technology
• Verlag: Springer / Springer US / Springer, Berlin
• Artikelnr. des Verlages: 978-0-412-71620-1
• 1995.
• Seitenzahl: 472
• Erscheinungstermin: 30. November 1995
• Englisch
• Abmessung: 241mm x 160mm x 30mm
• Gewicht: 835g
• ISBN-13: 9780412716201
• ISBN-10: 0412716208
• Artikelnr.: 21156029

Inhaltsangabe

Preface. Committee members and invited speakers. List of referees. Specification and verification: time-dependent analysis. Invited paper. Specification of concurrent systems. Testing. Specification and verification: temporal approach. Validation and testing. Specification and analysis. Verification: model checking. Invited paper. High speed/multimedia. Towards implementation. Index of contributors. Keyword index.