Formal description techniques, IX : theory, application and tools : IFIP TC6
Author(s)
Bibliographic Information
Formal description techniques, IX : theory, application and tools : IFIP TC6
published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996
Available at / 7 libraries
-
No Libraries matched.
- Remove all filters.
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"