Für diesen Artikel ist leider kein Bild verfügbar.

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)

Titel wird leider nicht erscheinen

Artikel merken

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.

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.

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