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.
Reihe
Auflage
Softcover reprint of the original 1st ed. 1996
Sprache
Verlagsort
Zielgruppe
Illustrationen
Maße
Höhe: 235 mm
Breite: 155 mm
ISBN-13
978-1-5041-2925-1 (9781504129251)
DOI
10.1007/978-0-387-34892-6
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
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.
