Formal Description Techniques II - Hardcover

 
9780444885449: Formal Description Techniques II
Hardcover
ISBN 10: 0444885447 ISBN 13: 9780444885449
Verlag: North-Holland Publishing Co, 1990

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
North-Holland Publishing Co
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
0444885447
ISBN 13 
9780444885449
Einband
Gebundene Ausgabe
Anzahl der Seiten
562
Herausgeber
Vuong Son T.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar