Home » Rigorous Development of Complex Fault-Tolerant Systems by Michael Butler
Rigorous Development of Complex Fault-Tolerant Systems Michael Butler

Rigorous Development of Complex Fault-Tolerant Systems

Michael Butler

Published February 1st 2007
ISBN : 9783540482659
Paperback
406 pages
Enter the sum

 About the Book 

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 SystemsMoreThis 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.