Tác giả: Andrea Bondavalli

This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 …

This book is open access under a CC BY 4.0 license.Technical Systems-of-Systems (So S) – in the form of networked, independent constituent computing systems temporarily collaborating to achieve a …

…

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 …