Formal Description Techniques IX: Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica - Rilegato

International Conference On Formal Description Techniques 1996 Kaiser

Rilegato

ISBN 10: 041279490X ISBN 13: 9780412794902

Casa editrice: Chapman & Hall, 1996

Riassunto

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.

Su questo libro

Contenuti

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.

Dettagli dell?edizione

• Editore: Chapman & Hall
• Data di pubblicazione: 1996
• Lingua: Inglese
• ISBN 10: 041279490X
• ISBN 13: 9780412794902
• Rilegatura: Copertina rigida
• Numero di pagine: 516
• Redattore: Bredereke Jan
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania