Formal description techniques, IX : theory, application and tools : IFIP TC6

Author(s)

• FORTE
• Gotzhein, Reinhard
• Bredereke, Jan
• International Federation for Information Processing
• IFIP TC 6/WG 6.1 International Conference on Protocol Specification, Testing and Verification

Bibliographic Information

Formal description techniques, IX : theory, application and tools : IFIP TC6

6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 / edited by Reinhard Gotzhein and Jan Bredereke

published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996

Note

Includes bibliographical references and index

Description and Table of Contents

Description

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.

Table of Contents

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.

by "Nielsen BookData"

Details

• NCID: BA29506989
• ISBN:
  • 041279490X
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: vii, 516 p.
• Size: 25 cm
• Classification:
  • DC20 : 004.62
• Subject Headings:
  • LCSH : Formal languages -- Congresses
  • LCSH : Electronic data processing -- Distributed processing -- Congresses
  • LCSH : Electronic data processing -- Distributed processing -- Protocols -- Congresses