Formal Description Techniques and Protocol Specification, Testing and Verification, Atsushi Togashi; Tadanori Mizuno; Norio Shiratori;

Автор: Lai
Название: Communication Protocol Specification and Verification
ISBN: 0792382846 ISBN-13(EAN): 9780792382843
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.

Автор: S.T. Vuong; Samuel T. Chanson
Название: Protocol Specification, Testing and Verification XIV
ISBN: 0412636409 ISBN-13(EAN): 9780412636400
Издательство: Springer
Рейтинг:
Цена: 27245.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents research worldwide on communications protocols, emphasizing specification and compliance testing. This book presents the proceedings of the fourteenth meeting on `Protocol Specification, Testing and Verification` arranged by the International Federation for Information Processing and held in Vancouver, Canada.

Автор: R. Gotzhein; J. Bredereke
Название: Formal Description Techniques IX
ISBN: 041279490X ISBN-13(EAN): 9780412794902
Издательство: Springer
Рейтинг:
Цена: 43184.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs.

Автор: Piotr Dembinski; Marek Sredniawa
Название: Protocol Specification, Testing and Verification XV
ISBN: 0412716208 ISBN-13(EAN): 9780412716201
Издательство: Springer
Рейтинг:
Цена: 34799.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification` arranged by the International Federation for Information Processing.

Автор: Gregor von Bochmann; Rachida Dssouli; Omar Rafiq
Название: Formal Description Techniques VIII
ISBN: 041273270X ISBN-13(EAN): 9780412732706
Издательство: Springer
Рейтинг:
Цена: 32004.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents papers from the 8th IFIP TC6 International Conference on Formal Description Techniques, held in 1995. The focus is on the techniques standardized by ISO and ITU-T (formerly CCITT), namely Estelle, Lotos and SD, but there are also papers on other techniques.