Bøger af Pierre-Jacques Courtois

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.