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

Formal Description Techniques IX

Theory, application and tools

Buch | Softcover

518 Seiten

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

Titel wird leider nicht erscheinen

Artikel merken

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Tools and tool support. FDT-application. FDT-based system and protocol engineering. Performance modelling and analysis. Real-time and probability aspects. Verification and validation. Industrial usage reports. Extensions of FDTs and semantical foundations.

Erscheinungsdatum	12.01.2019
Reihe/Serie	IFIP Advances in Information and Communication Technology
Zusatzinfo	X, 518 p.
Verlagsort	New York
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
Themenwelt	Technik
ISBN-10	1-5041-2883-4 / 1504128834
ISBN-13	978-1-5041-2883-4 / 9781504128834
Zustand	Neuware