Protocol Specification, Testing and Verification XV

Piotr Dembinski, Marek Sredniawa (Herausgeber)

Buch | Softcover

455 Seiten

1996 | Softcover reprint of the original 1st ed. 1996
Springer-Verlag New York Inc.
978-1-5041-2925-1 (ISBN)

Infos

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.

Inhalt

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.

Produkt-Details

• Erscheinungsdatum: 11.01.2019
• Reihe/Serie: IFIP Advances in Information and Communication Technology
• Zusatzinfo: XI, 455 p.
• Verlagsort: New York
• Sprache: englisch
• Maße: 155 x 235 mm
• Themenwelt: Mathematik / Informatik ► Informatik ► Netzwerke
• Themenwelt: Technik
• ISBN-10: 1-5041-2925-3 / 1504129253
• ISBN-13: 978-1-5041-2925-1 / 9781504129251
• Zustand: Neuware