Rigorous Development of Complex Fault-Tolerant Systems
  • Release Date : 27 November 2006
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 402 pages
  • ISBN 13 : 9783540482659
Ratings: 4
From 235 Voters
Get This Book

Download or read book entitled Rigorous Development of Complex Fault-Tolerant Systems by author: Michael Butler which was release on 27 November 2006 and published by Springer Science & Business Media with total page 402 pages . This book available in PDF, EPUB and Kindle Format. 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.