7732069
9780444885449
Out of Stock
The item you're looking for is currently unavailable.
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: Theoretical and practical aspects of analysing formal descriptions, including translation, implementation and test generation Practical experience of using FDTs Software tools to support the applications of FDTs FDT language design issues and FDT extensions Perspective on FDTs.Vuong, S. T. is the author of 'Formal Description Techniques II' with ISBN 9780444885449 and ISBN 0444885447.
[read more]