Models and analysis in distributed systems /
"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 a...
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London : Hoboken, NJ :
ISTE ; Wiley,
2011.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | "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."--Publisher |
|---|---|
| Physical Description: | 1 online resource (356 pages) : illustrations |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9781118602690 1118602692 9781118602638 1118602633 |