The VALU3S ECSEL project: Verification and validation of automated systems safety and security

Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, Thomas Bauer, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie. The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocessors and Microsystems, 87:104349, November 2021. [doi]

Abstract

Abstract is missing.