Foundations of Dependable Computing

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book''s two companion volumes. It then explores the range of models and analysis methods necessary to design, validate and an...