Formal Description Techniques and Protocol Specification, Testing and Verification, Stan Budkowski; Ana Cavalli; Elie Najm

Автор: Lai
Название: Communication Protocol Specification and Verification
ISBN: 0792382846 ISBN-13(EAN): 9780792382843
Издательство: Springer
Рейтинг:
Цена: 194730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 181630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Stan Budkowski; Ana Cavalli; Elie Najm
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 0412847604 ISBN-13(EAN): 9780412847608
Издательство: Springer
Рейтинг:
Цена: 204040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Addresses formal description techniques applicable to distributed systems and communication protocols. This title presents the state of the art in theory, application, tools and industrialization of FDTs. It features FDT-based system and protocol engineering, FDT-application to distributed systems, and protocol engineering.

Автор: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori;
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 1475752601 ISBN-13(EAN): 9781475752601
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: FORTE/PSTV `97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Автор: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori;
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 0412820609 ISBN-13(EAN): 9780412820601
Издательство: Springer
Рейтинг:
Цена: 231990.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: FORTE/PSTV `97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Автор: S.T. Vuong; Samuel T. Chanson
Название: Protocol Specification, Testing and Verification XIV
ISBN: 1475763085 ISBN-13(EAN): 9781475763089
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This PSTV'94 Symposium is the fourteenth of a series of annual meetings organized under the auspices of IFIP W.G. 6.1, a Working Group dedicated to "Architectures and Protocols for Computer Networks". This is the oldest and most established symposium in the emerging field of protocol engineering which has spawn many international conferences including FORTE (International Conference on Formal Description Tech- niques), IWPTS (International Workshop on Protocol Test Systems), ICNP (Interna- tional Conference on Network Protocols) and CAY (Conference on Computer-Aided Verification). The main objective of this PSTV symposium is to provide a forum for researchers and practitioners in industry and academia interested in advances in using formal methods and methodologies to specify, develop, test and verify communication protocols and distributed systems. This year's PSTV symposium enjoys a nice mixture of formal methods and practical issues in network protocols through the invited addresses of three outstanding speakers, Ed Brinksma (University of Twente), Raj Jain (Ohio State University) and David Tennenhouse (MIT) as well as 5 tutorials, in addition to 9 techni- cal sessions and two practical panel sessions. The 5 tutorials are offered on the first day in two parallel tracks for intensive exposure on hot topics of current interest. This year, out of 51 submissions the Program Committee selected 18 regular papers (with an allotment of 16 pages in the Proceedings) and 9 mini-papers (of 8 pages).

Автор: Richard Lai; Ajin Jirachiefpattana
Название: Communication Protocol Specification and Verification
ISBN: 1461375371 ISBN-13(EAN): 9781461375371
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Tan Yang Meng
Название: Formal Specification Techniques for Engineering Modular C Programs
ISBN: 0792396537 ISBN-13(EAN): 9780792396536
Издательство: Springer
Рейтинг:
Цена: 158340.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work describes an approach to promoting program modularity. It presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support.

Автор: Tan Yang Meng
Название: Formal Specification Techniques for Engineering Modular C Programs
ISBN: 1461368502 ISBN-13(EAN): 9781461368502
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Tiziana Margaria; Bernhard Steffen
Название: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
ISBN: 3662452308 ISBN-13(EAN): 9783662452301
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.

Автор: Katalin Tarnay
Название: Protocol Specification and Testing
ISBN: 1468457802 ISBN-13(EAN): 9781468457803
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It is considered that the readership will primarily consist of protocol developers, protocol users, and all who utilize protocol testers.