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

The Physical Object

  • Description:1 online resource (356 pages) : : illustrations

Edition Identifiers

  • ISBN:9781118602690, 1118602692, 9781118602638, 1118602633
  • DOI:10.1002/9781118602638
  • oclc:ocn828423700
  • LC Classification:T57.62
  • Dewey Decimal:003.78

Table of Contents

Foreword / Claude Girault -- Introduction / Serge Haddad [and others] -- Introduction to formal models / Laure Petrucci -- Specification and design approaches / Christine Choppy and Laure Petrucci -- Modeling time / Béatrice Bérard -- Architecture description languages / Pascal Poizat and Thomas Vergnaud -- Introduction to verification / Serge Haddad -- Verification of finite-state systems / Jean-François Pradat-Peyre and Yann Thierry-Mieg -- Verification of infinite-state systems / Stéphane Demri and Denis Poitrenaud -- Verification of timed systems / Pierre-Alain Raynier -- Distributed control / Claude Dutheillet, Isabelle Mounier, and Nathalie Sznajder.

Read More ↓

Subjects

Analyse de systèmes Distributed parameter systems -- Simula… 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