Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

by Michael Butler
     
 

This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.

See more details below

Overview

This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.

Product Details

ISBN-13:
9783540482659
Publisher:
Springer Berlin Heidelberg
Publication date:
02/02/2007
Series:
Lecture Notes in Computer Science / Programming and Software Engineering Series, #4157
Edition description:
2006
Pages:
406
Product dimensions:
9.21(w) x 6.14(h) x 0.86(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >