Amvik eBook Solutions

Presents the theory and methodology for reliability assessments of safety-critical functions through examples from a wide range of applications Reliability of S

Computer software reliability has never been so important. Computers are used in areas as diverse as air traffic control, nuclear reactors, real-time military,

To make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and metho

Increasingly microcomputers are being used in applications where their correct operation is vital to ensure the safety of the public and the environment: from a

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general e