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 and implementation stages. This prototyping-based approach is centered around the concept of model refinement."--Publisher.
Read More ↓Title Statements
- Full title :Models and analysis in distributed systems / edited by Serge Haddad [and others].
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.
Read More ↓Edition Statements
- Publication Date:2011.
Publication Statements
- Publisher(s):ISTE
- Place of Publication:London
- Language:eng
- Publication Date:2011.
The Physical Object
- Description:Online Ressource (356 Seiten) : : Illustrationen
Edition Identifiers
- ISBN:9781118602690, 1118602692, 9781118602638, 1118602633
- oclc:on1039152988
- LC Classification:T57.62
- Dewey Decimal:003.78
Subjects
Writers
No reviews yet. Be the first to rate this work.
Related Works
more →
Optimization for engineering problems
Optimization for engineering problems
Statistical analysis of graph structures in random variable networks
Kalyagin, Valery A.
Files & Downloads
-
Models and Analysis in Distributed Systems -- (.p…
PDF · 3.8 MB · updated -
Models and Analysis for Distributed Systems -- (.…
PDF · 3.8 MB · updated -
Models and Analysis for Distributed Systems -- (.…
PDF · 4.1 MB · updated
Rate & Review