Rigorous Development of Complex Fault-Tolerant Systems

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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.

Book details

Edition:
2006
Series:
Lecture Notes in Computer Science (Book 4157)
Author:
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
ISBN:
9783540482673
Related ISBNs:
9783540482659
Publisher:
Springer Berlin Heidelberg
Pages:
N/A
Reading age:
Not specified
Includes images:
No
Date of addition:
2022-07-27
Usage restrictions:
Copyright
Copyright date:
2006
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Nonfiction