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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.