Formal Description Techniques, II Proceedings of the IFIP TC 6/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989
0
0
Author Description
Selected research papers collected in this volume cover various theoretical and practical aspects of Formal Description Techniques (FDTs), e.g. LOTOS, Estelle, SDL, TTCN and ASN.1, for communications protocols. The main subject areas covered by the papers are: ndash; Theoretical and practical aspects of analysing formal descriptions, including translation, implementation and test generation ndash; Practical experience of using FDTs ndash; Software tools to support the applications of FDTs ndash; FDT language design issues and FDT extensions ndash; Perspective on FDTs.
Page Count:
549
Publication Date:
1990-01-01
ISBN-10:
0444885447
ISBN-13:
9780444885449
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!