Catalog > Wetenschappen > Engineering / Techniek > Thermische engineering, Energietechniek > Samuel T. Chanson & Quiang Gao: Formal Methods for Protocol Engineering and Distributed Systems (PDF)

Samuel T. Chanson & Quiang Gao
Formal Methods for Protocol Engineering and Distributed Systems [PDF ebook]
Forte XII / PSTV XIX’99

Ondersteuning

Hoes van Samuel T. Chanson & Quiang Gao: Formal Methods for Protocol Engineering and Distributed Systems (PDF)

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

€229.25

Koop dit e-boek en ontvang er nog 1 GRATIS!

Taal Engels ● Formaat PDF ● ISBN 9780387355788 ● Editor Samuel T. Chanson & Quiang Gao ● Uitgeverij Springer US ● Gepubliceerd 2013 ● Downloadbare 3 keer ● Valuta EUR ● ID 4669065 ● Kopieerbeveiliging Adobe DRM

Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Samuel T. Chanson Quiang Gao Jianping Wu

9.626 E-boeken in deze categorie

Hoes van Giovanni Bartolomeo & Tatiana Kovacikova: Identification and Management of Distributed Data

Giovanni Bartolomeo & Tatiana Kovacikova: Identification and Management of Distributed Data

Although several books and academic courses discuss data management and networking, few of them focus on the convergence of networking and software technologies for identifying, addressing, and manag …

Hoes van S. Bobby Rauf: Electrical Engineering for Non-Electrical Engineers

S. Bobby Rauf: Electrical Engineering for Non-Electrical Engineers

Engineers and non-engineers often eschew electrical engineering because it is premised on concepts and mathematical techniques that are somewhat more abstract and elusive than those employed in disci …

Hoes van Ding (Chongqing University, P.R. China) Baocang: Modern Predictive Control

Ding (Chongqing University, P.R. China) Baocang: Modern Predictive Control

Modern Predictive Control explains how MPC differs from other control methods in its implementation of a control action. Most importantly, MPC provides the flexibility to act while optimizing—which i …

Hoes van Jr., Edgar H. (Motorola Labs, Plantation, Florida, USA) Callaway: Wireless Sensor Networks

Jr., Edgar H. (Motorola Labs, Plantation, Florida, USA) Callaway: Wireless Sensor Networks

Because they provide practical machine-to-machine communication at a very low cost, the popularity of wireless sensor networks is expected to skyrocket in the next few years, duplicating the recent e …

Hoes van Kunio Nakanishi: Switching Phenomena in High-Voltage Circuit Breakers

Kunio Nakanishi: Switching Phenomena in High-Voltage Circuit Breakers

Showing the relation of physics to circuit interruption technology, describes for engineers the switching phenomena, test procedures, and applications of modern, high-voltage circuit breakers, especi …

Hoes van Hassan A. Yousef: Power System Load Frequency Control

Hassan A. Yousef: Power System Load Frequency Control

This title presents a balanced blend between classical and intelligent load frequency control techniques, which is detrminant for continous supply of power loads. The classical control techniques int …

Hoes van Thomas E. Browne Jnr.: Circuit Interruption

Thomas E. Browne Jnr.: Circuit Interruption

Here-in one current, comprehensive source-is a wealth of both theoretical and practicalinformation on circuit interruption. Twenty-two authorities at the leading edge of researchand development provi …

Hoes van T. (School of ELectrical Enginering, Vellore Institute of Technology, India) Deepa & Jens Bo (Aalborg University, Denmark) Holm-Nielsen: Low-Switching Frequency Modulation Schemes for Multi-level Inverters

T. (School of ELectrical Enginering, Vellore Institute of Technology, India) Deepa & Jens Bo (Aalborg University, Denmark) Holm-Nielsen: Low-Switching Frequency Modulation Schemes for Multi-level Inverters

Multi-level Inverters (MLIs) are widely used for conversion of DC to AC power. This book provides various low-switching frequency (LSF) modulation schemes (conventional and improved), which can be im …

Hoes van Muhammad El-Saba: Transport of Information-Carriers in Semiconductors and Nanodevices

Muhammad El-Saba: Transport of Information-Carriers in Semiconductors and Nanodevices

Hoes van K. M. M. Prabhu: Window Functions and Their Applications in Signal Processing

K. M. M. Prabhu: Window Functions and Their Applications in Signal Processing

Window functions—otherwise known as weighting functions, tapering functions, or apodization functions—are mathematical functions that are zero-valued outside the chosen interval. They are well establ …

Volgende pagina >>>