Formal Description Techniques: Theory, Application and Tools: No. 9 (IFIP Advances in Information and Communication Technology)
By Jorgen NorgaardThis 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.
$15.00$61.00
PayPal & cryptocurrencyGuest checkout available
BETWEEN THE COVERS
About this book
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.