| 書(shū)目名稱 | Protocol Engineering | | 編輯 | Hartmut K?nig | | 視頻video | http://file.papertrans.cn/762/761923/761923.mp4 | | 概述 | 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 | | 圖書(shū)封面 |  | | 描述 | .Communication protocols form the operational basis of computer networks and tele-communication systems. They are behavior conventions that describe how com-munication systems inter-act 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 proto-cols, 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-27 20:39
發(fā)表于 2025-3-21 17:24:41
