Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering (Springer Series in Reliability Engineering)

This book provides a framework for the justification of the dependability of a computer-based system and explores fundamental aspects of safety evaluation, such as the nature of claims and various ways to deal with different types of uncertainty.