| 书目名称 | Protocol Engineering | | 编辑 | Hartmut König | | 视频video | | | 概述 | Presentation is characterized by a focus on formal description techniques for the design, validation, and implementation of communication protocols.Considers both the theoretical and the practical asp | | 图书封面 |  | | 描述 | .Communication protocols form the operational basis of computer networks and telecommunication systems. They are behavior conventions that describe how communication systems interact with each other, defining the temporal order of the interactions and the formats of the data units exchanged – essentially they determine the efficiency and reliability of computer networks. .Protocol Engineering. is an important discipline covering the design, validation, and implementation of communication protocols..Part I of this book is devoted to the fundamentals of communication protocols, describing their working principles and implicitly also those of computer networks. The author introduces the concepts of service, protocol, layer, and layered architecture, and introduces the main elements required in the description of protocols using a model language. He then presents the most important protocol functions. Part II deals with the description of communication protocols, offering an overview of the various formal methods, the essence of .Protocol Engineering.. The author introduces the fundamental description methods, such as finite state machines, Petri nets, process calculi, and temporal | | 出版日期 | Textbook 2012 | | 关键词 | ASN; 1; LOTOS; MSC; SDL; TTCN-2; TTCN-3; UML 2; algebraic verification; cTLA; communication protocols; conforma | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-29145-6 | | isbn_softcover | 978-3-642-44093-9 | | isbn_ebook | 978-3-642-29145-6 | | copyright | Springer-Verlag Berlin Heidelberg 2012 |
The information of publication is updating
|
|
发表于 2025-3-21 17:24:41
