Book Details

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

Publication year: 2008

ISBN: 978-1-84800-372-9

Internet Resource: Please Login to download book


The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty. Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety.


Subject: Engineering, Computer Systems, Natur, Nuclear Engineering, Reliability, Reliability Engineering, Safety Critical Systems, Safety Evaluation, Software, Software Engineering