Formal Description Techniques IX

This volume contains the combined proceedings of the 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 standardized FDTs. It features state-of-the-art theory, application, tools and industrialization of formal description. The book provides an insight into research directions with contributions from both industry and academia.