Proceedings of the IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication ... Vancouver, Canada, 5-8 December 1989 (2nd) - Hardcover

 
9780444885449: Proceedings of the IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication ... Vancouver, Canada, 5-8 December 1989 (2nd)
Hardcover
ISBN 10: 0444885447 ISBN 13: 9780444885449
Publisher: North-Holland Publishing Co, 1990

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
North-Holland Publishing Co
Publication date
1990
Language
English
ISBN 10 
0444885447
ISBN 13 
9780444885449
Binding
Hardcover
Number of pages
562
Editor
Vong S.T., Vuong Son T.