Category
Recent News
Category: E-Book
Download Now

Rigorous Development of Complex Fault-Tolerant Systems

Michael Butler, Cliff Jones, Alexander Romanovsky, "Rigorous Development of Complex Fault-Tolerant Systems"
English | 2006 | ISBN: 3540482652 | PDF | pages: 412 | 4.9 mb

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.

Buy Premium Account To Get Resumable Support & Max Speed




Links are Interchangeable - No Password

Direct Download


Author: art_linksComments (0)
Go Back...
Full name:
E-Mail:
Security code:
Include security image CAPCHA.
update code
Enter security code: