Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)
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.
Keywords
COMPUTER NETWORK PROTOCOLS
1996Book
Author(s)International Conference on Formal Description Techniques (9th 1996 Kaiserslautern, Germany)
PublisherSpringer
ISBN9780412794902
LanguageEnglish
