Models and analysis in distributed systems

Models and analysis in distributed systems

by Haddad, Serge

Type Book
Rate 0.0 /5

"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 ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Models and analysis in distributed systems / edited by Serge Haddad [et autres].

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, Wiley
  • Place of Publication:London
  • Language:eng
  • Publication Date:2011.

Notes

Internet - monographie

Wiley

VERSEMENT EN LOT.

The Physical Object

  • Description:1 ressource en ligne

Edition Identifiers

  • ISBN:9781118602690, 1118602692, 9781118602638, 1118602633
  • oclc:on1109733705
  • LC Classification:T57.62
  • Dewey Decimal:003.78

Subjects

Analyse de systèmes Distributed parameter systems -- Simula… e-books Livres numériques Science -- System Theory System analysis Systèmes à paramètres répartis -- Métho… systems analysis

Writers

Haddad, Serge

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Models and Analysis in Distributed Systems -- (.p…

    PDF · 3.8 MB · updated
    Login →

  • Models and Analysis for Distributed Systems -- (.…

    PDF · 3.8 MB · updated
    Login →

  • Models and Analysis for Distributed Systems -- (.…

    PDF · 4.1 MB · updated
    Login →
Log in to request a copy