Analysis of Self-* and P2P Systems using Refinement (Full Report)

Report English OPEN
Andriamiarina , Manamiary Bruno; Méry , Dominique; Singh , Neeraj Kumar;
(2014)
  • Publisher: HAL CCSD
  • Subject: [ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulation

Distributed systems and applications require efficient and effective techniques (e.g. self (re)configuration, self-healing, etc.) for ensuring safety, security and more generally dependability properties, as well as convergence. The complexity of these systems is increa... View more
Share - Bookmark