Formal Description Techniques IX

Theory, application and tools

Buch | Hardcover

518 Seiten

1996 | 1996 ed.
Chapman and Hall (Verlag)
978-0-412-79490-2 (ISBN)

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.

Erscheint lt. Verlag	30.9.1996
Reihe/Serie	IFIP International Federation for Information Processing
Zusatzinfo	X, 518 p.
Verlagsort	London
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Naturwissenschaften ► Physik / Astronomie ► Mechanik
	Technik ► Elektrotechnik / Energietechnik
ISBN-10	0-412-79490-X / 041279490X
ISBN-13	978-0-412-79490-2 / 9780412794902
Zustand	Neuware