Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology) (No. 9)

ISBN 10: 041279490X / ISBN 13: 9780412794902

Editore: Springer, 1996

Riguardo questo articolo

Like New.

Codice articolo ERICA758041279490X6

Dati bibliografici

• Titolo: Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology) (No. 9)
• Editore: Springer
• Data di pubblicazione: 1996
• Lingua: Inglese
• ISBN 10: 041279490X
• ISBN 13: 9780412794902
• Rilegatura: Hardcover
• Condizione: Like New
• Tipo di libro: book

Descrizione articolo

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.

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.