IFIP Advances in Information and Communication Technology: Theory, application and tools

Gotzhein, R.; Bredereke, J.

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.

Details

Published by: Springer

Publication Date: 1996-09-30

Format: Hardcover

ISBN-13: 9780412794902

DOI: 10.1007/978-0-387-35079-0

Dimensions: 235cm x155cm

Pages: 518