Models and Analysis for Distributed Systems

by Fabrice Kordon (Editor), SergeHaddad (Editor), Laurent Pautet (Editor), Laure Petrucci (Editor)

• New

  Illustrated
  2011

  $170.19

  Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems.