Related Books
Language: en
Pages: 197
Pages: 197
Type: BOOK - Published: 2022-09-01 - Publisher: CRC Press
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
Language: en
Pages: 425
Pages: 425
Type: BOOK - Published: 2019-09-02 - Publisher: Springer Nature
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2024-10-21 - Publisher:
Language: en
Pages: 447
Pages: 447
Type: BOOK - Published: 2016-01-04 - Publisher: Springer
This book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODEL
Language: en
Pages: 485
Pages: 485
Type: BOOK - Published: 2012-11-02 - Publisher: Springer Science & Business Media
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
