Formal Description Techniques IX : Theory, application and tools PDF
Edited by R. Gotzhein, J. Bredereke
Part of the IFIP Advances in Information and Communication Technology series
- Information
Description
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.
Information
-
Download Now
- Format:PDF
- Publisher:Springer US
- Publication Date:09/01/2016
- Category:
- ISBN:9780387350790
Information
-
Download Now
- Format:PDF
- Publisher:Springer US
- Publication Date:09/01/2016
- Category:
- ISBN:9780387350790