Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science / Programming and Software Engineering)

Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science / Programming and Software Engineering)
Michael Butler,Cliff Jones,Alexander Romanovsky,Elena Troubitsyna | 2007-02-02 00:00:00 | Springer | 403 | Artificial Intelligence

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.

Download this book!

Free Ebooks Download