Models and Analysis for Distributed Systems

✍ Scribed by Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

Publisher: Wiley
Year: 2011
Tongue: English
Leaves: 346
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement.

📜 SIMILAR VOLUMES

Models and Analysis for Distributed Syst

📁 Models and Analysis for Distributed Systems

✍ Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci 📂 Library 📅 2011 🏛 Wiley-ISTE 🌐 English

Distribution system modeling and analysi

📁 Distribution system modeling and analysis

✍ Kersting, William H 📂 Library 📅 2018 🏛 CRC Press 🌐 English

Introduction to distribution systems -- The nature of loads -- Approximate method of analysis -- Series impedance of overhead and underground lines -- Shunt admittance of overhead and underground lines -- Distribution system line models -- Voltage regulation -- Three-phase transformer models -- Load

Models and Analysis in Distributed Syste

📁 Models and Analysis in Distributed Systems

📂 Library 🌐 English

Content: Chapter 1 Introduction (pages 17–20): Chapter 2 Introduction to Formal Models (pages 21–39): Chapter 3 Specification and Design Approaches (pages 41–62): Chapter 4 Modeling Time (pages 63–96): Chapter 5 Architecture Description Languages (pages 97–134): Chapter 6 Int

Distribution System Modeling and Analysi

📁 Distribution System Modeling and Analysis, Fourth Edition

✍ William H Kersting 📂 Library 📅 2018 🏛 CRC Press 🌐 English

The latest edition includes new sections on grounded wye-delta short circuit feedback current and simulation of loop flow. The text illustrates methods that ensure the most accurate results in computational modeling for electric power distribution systems. It clearly explains the principles and math

Distribution System Modeling and Analysi

📁 Distribution System Modeling and Analysis, Second Edition

✍ Kersting, William H 📂 Library 📅 2006 🏛 CRC Press 🌐 English

Introduction to Distribution Systems The Distribution System Distribution Substations Radial Feeders Distribution Feeder Map Distribution Feeder Electrical Characteristics Summary The Nature of Loads Definitions Individual Customer Load Distribution Transformer Loading Feeder Load Summary Approximat

Distribution System Modeling and Analysi

📁 Distribution System Modeling and Analysis, Third Edition

✍ Kersting, William H 📂 Library 📅 2012 🏛 CRC Press, Taylor & Francis Group [Distributor 🌐 English

AnnotationUpdated to reflect the latest changes and advances in the field, Distribution System Modeling and Analysis, Third Edition again illustrates methods that will ensure the most accurate possible results in computational modeli