Rigorous Development of Complex Fault-Tolerant Systems
| Author | : Michael Butler |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 413 |
| Release | : 2006-11-27 |
| ISBN-10 | : 9783540482659 |
| ISBN-13 | : 3540482652 |
| Rating | : 4/5 (652 Downloads) |
Book Synopsis Rigorous Development of Complex Fault-Tolerant Systems by : Michael Butler
Download or read book Rigorous Development of Complex Fault-Tolerant Systems written by Michael Butler and published by Springer Science & Business Media. This book was released on 2006-11-27 with total page 413 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
