Protocol Specification, Testing and Verification XV

Piotr Dembinski, Marek Sredniawa (Herausgeber)

Buch | Hardcover

455 Seiten

1995 | 1995 ed.
Chapman and Hall (Verlag)
978-0-412-71620-1 (ISBN)

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.

Erscheint lt. Verlag	30.11.1995
Reihe/Serie	IFIP International Federation for Information Processing
Zusatzinfo	XI, 455 p.
Verlagsort	London
Sprache	englisch
Maße	156 x 234 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Naturwissenschaften ► Physik / Astronomie ► Mechanik
	Technik ► Elektrotechnik / Energietechnik
ISBN-10	0-412-71620-8 / 0412716208
ISBN-13	978-0-412-71620-1 / 9780412716201
Zustand	Neuware