Methods, Models and Tools for Fault Tolerance

The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods toge...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Butler, Michael. (Editor), Jones, Cliff. (Editor), Romanovsky, Alexander. (Editor), Troubitsyna, Elena. (Editor)
Format: SpringerLink eBooks
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Series:Lecture Notes in Computer Science, 5454
Online Access:


3rd Floor Main Library

Call Number: A1234.567
Copy 1 Available