Formal Description Techniques II - Couverture rigide

 
9780444885449: Formal Description Techniques II
Couverture rigide
ISBN 10 : 0444885447 ISBN 13 : 9780444885449
Editeur : North-Holland Publishing Co, 1990

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
North-Holland Publishing Co
Date d'édition
1990
Langue
anglais
ISBN 10 
0444885447
ISBN 13 
9780444885449
Reliure
Relié
Nombre de pages
562
Éditeur
Vong S.T., Vuong Son T.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible