Communication Protocol Specification and Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

213,99 €

inkl. 7 % MwSt. zzgl. Versandkosten

The Springer International Series in Engineering and Computer Science 464

ISBN: 0792382846
ISBN 13: 9780792382843
Autor: Lai, Richard/Jirachiefpattana, Ajin
Verlag: Springer Verlag GmbH
Umfang: xxiii, 304 S.
Erscheinungsdatum: 30.09.1998
Produktform: Gebunden/Hardback
Einband: GEB

Addresses two issues: the needs to specify a protocol using an FDT and to verify its correctness in order to uncover specification errors in the early stage of a protocol development process. This book is suitable for advanced undergraduate and postgraduate students, communication software developers, and telecommunication engineers.

Artikelnummer: 1577643 Kategorie:

Beschreibung

InhaltsangabeList of Figures. List of Tables. Preface. Acknowledgments. Part I: Protocol Specification. 1. Communication Protocol. 2. Formal Description Techniques. 3. Estelle. 4. LOTOS. 5. SDL. Part II: Protocol Verification. 6. Protocol Verification. 7. A Review on Estelle Verification. 8. NPNS Modelling Estelle. 9. EVEN - A Software Environment for Estelle Verification. 10. A Method to Address the State Space Explosion Problem. 11. Applications of EVEN. Index.

Inhaltsverzeichnis

List of Figures. List of Tables. Preface. Acknowledgments. Part I: Protocol Specification. 1. Communication Protocol. 2. Formal Description Techniques. 3. Estelle. 4. LOTOS. 5. SDL. Part II: Protocol Verification. 6. Protocol Verification. 7. A Review on Estelle Verification. 8. NPNS Modelling Estelle. 9. EVEN - A Software Environment for Estelle Verification. 10. A Method to Address the State Space Explosion Problem. 11. Applications of EVEN. Index.

Das könnte Ihnen auch gefallen …