Catalog > Sciences > Engineering / Technics > Thermal Engineering, Power Engineering > 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

Support

Cover of 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.

€231.24

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9780387355788 ● Editor Samuel T. Chanson & Quiang Gao ● Publisher Springer US ● Published 2013 ● Downloadable 3 times ● Currency EUR ● ID 4669065 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Samuel T. Chanson Quiang Gao Jianping Wu

9,652 Ebooks in this category

Cover of D (Anna University, MIT Campus, Chennai) Kalpana & T (Anna University, MIT Campus, Chennai) Thyagarajan: Linear and Non-Linear System Theory

D (Anna University, MIT Campus, Chennai) Kalpana & T (Anna University, MIT Campus, Chennai) Thyagarajan: Linear and Non-Linear System Theory

Linear and Non-Linear System Theory focuses on the basics of linear and non-linear systems, optimal control and optimal estimation with an objective to understand the basics of state space approach l …

Cover of M.L. Anand: Principles of Communication Engineering

M.L. Anand: Principles of Communication Engineering

This is the book, in which the subject matter is dealt from elementary to the advance level in a unique manner. Three outstanding features can be claimed for the book viz. (i) style; the student, whi …

Cover of Vijanth Sagayan Asirvadam & Tran Duc Chung: WirelessHART™

Vijanth Sagayan Asirvadam & Tran Duc Chung: WirelessHART™

This book presents a guideline for EWMA filter design for industrial wireless networked control system, both theoretically and practically. The filter’s key advantages are simple, effective, low comp …

Cover of Viorel Badescu & Linda (University of Perugia - Department of Engineering, Perugia, Italy) Barelli: Power Engineering

Viorel Badescu & Linda (University of Perugia – Department of Engineering, Perugia, Italy) Barelli: Power Engineering

Traditionally, power engineering has been a subfield of energy engineering and electrical engineering which deals with the generation, transmission, distribution and utilization of electric power and …

Cover of Philip Morant: The Register Of Baptisms, Marriages And Burials At St. Margaret''s Toppesfield Parish, Essex Co., England 1559-1650 And Some Account Of The Parish

Philip Morant: The Register Of Baptisms, Marriages And Burials At St. Margaret”s Toppesfield Parish, Essex Co., England 1559-1650 And Some Account Of The Parish

The register of baptisms, marriages and burials at St. Margaret”s Toppesfield Parish Essex Co. England 1559-1650 and some account of the parish This book, ‘The register of baptisms, marriages and bu …

Cover of Roydn D. Jones: Hybrid Circuit Design and Manufacture

Roydn D. Jones: Hybrid Circuit Design and Manufacture

This book provides a basic understanding of the design guidelines for a wide range of hybrid circuits, both thick and thin film, covering a wide range of frequencies. It is intended for electronic en …

Cover of Murat (Department of Electrical and Electronics Engineering, Meliksah University in Kayseri, Turkey (Retired)) Uzam: PIC16F1847 Microcontroller-Based Programmable Logic Controller

Murat (Department of Electrical and Electronics Engineering, Meliksah University in Kayseri, Turkey (Retired)) Uzam: PIC16F1847 Microcontroller-Based Programmable Logic Controller

Programmable logic controllers (PLCs) have been used extensively and are offered in terms of functions, program memories, and the number of inputs/outputs (I/Os), ranging from a few to thousands. Wit …

Cover of Victor L. Granatstein: Physical Principles of Wireless Communications

Victor L. Granatstein: Physical Principles of Wireless Communications

Updated and expanded, Physical Principles of Wireless Communications, Second Edition illustrates the relationship between scientific discoveries and their application to the invention and engineering …

Cover of Yezid Donoso & Ramon (Girona, Spain) Fabregat: Multi-Objective Optimization in Computer Networks Using Metaheuristics

Yezid Donoso & Ramon (Girona, Spain) Fabregat: Multi-Objective Optimization in Computer Networks Using Metaheuristics

Metaheuristics are widely used to solve important practical combinatorial optimization problems. Many new multicast applications emerging from the Internet-such as TV over the Internet, radio over th …

Cover of S. Bobby Rauf: Electrical Engineering Fundamentals

S. Bobby Rauf: Electrical Engineering Fundamentals

Many, in their quest for knowledge in engineering, find typical textbooks intimidating. Perhaps due to an extensive amount of physics theory, an overwhelming barrage of math, and not enough practical …