Related Books

Certifications of Critical Systems – The CECRIS Experience
Language: en
Pages: 197
Authors: Andrea Bondavalli
Categories: Computers
Type: BOOK - Published: 2022-09-01 - Publisher: CRC Press

DOWNLOAD EBOOK

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical sy
Computer Safety, Reliability, and Security
Language: en
Pages: 425
Authors: Alexander Romanovsky
Categories: Computers
Type: BOOK - Published: 2019-09-02 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and
Certifications of Critical Systems - The CECRIS Experience
Language: en
Pages: 0
Authors: Andrea Bondavalli
Categories:
Type: BOOK - Published: 2024-10-21 - Publisher:

DOWNLOAD EBOOK

Model-Driven Engineering and Software Development
Language: en
Pages: 447
Authors: Philippe Desfray
Categories: Computers
Type: BOOK - Published: 2016-01-04 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODEL
Resilience Assessment and Evaluation of Computing Systems
Language: en
Pages: 485
Authors: Katinka Wolter
Categories: Computers
Type: BOOK - Published: 2012-11-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to