Formal Description Techniques IX Theory, application and tools
Title:
Formal Description Techniques IX Theory, application and tools
ISBN:
9780387350790
Edition:
1st ed. 1996.
Publication Information New:
New York, NY : Springer US : Imprint: Springer, 1996.
Physical Description:
X, 518 p. online resource.
Series:
IFIP Advances in Information and Communication Technology,
Abstract:
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.
Added Corporate Author:
Electronic Access:
Full Text Available From Springer Nature Computer Science Archive Packages
Language:
English