Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering

What evidence is sufficient to justify the release of a computer-based safety critical system? How should this evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? These are just a few of the questions addressed by Justifying the Dependabili...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Courtois, Pierre-Jacques, 1937-
Format: Livre numérique
Sprache:Anglais
Veröffentlicht: London : Springer London : Springer e-books [20..].
Cham : Springer Nature
Schriftenreihe:Springer Series in Reliability Engineering
Online Zugang:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Anmerkung: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Justifying the dependability of computer-based systems, with applications in nuclear engineering, Pierre-Jacques Courtois, London, Springer, 2008, 1 vol. (XVIII-323 p.), Springer series in reliability engineering / series editor, professor Hoang Pham,..., 978-1-84800-371-2

Online

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL