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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!