Certifications of Critical Systems - The CECRIS Experience [electronic resource]

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a lar...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via EBSCO)
Main Author: Bondavalli, Andrea
Other Authors: Brancati, Francesco
Format: Electronic eBook
Language:English
Published: Aalborg : River Publishers, 2017.
Series:River Publishers series in information science and technology.
Subjects:

Internet

Full Text (via EBSCO)

Online

Holdings details from Online
Call Number: QA76.9.A25 C47 2017
QA76.9.A25 C47 2017 Available