Methods, Models and Tools for Fault Tolerance

The complexity of modern software systems makes it difficult to ensure the dependability of software-intensive systems. This book is based on the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007.