R. Barbosa, Stylianos Basagiannis, Georgios Giantamidis, H. Becker, Enrico Ferrari, J. Jahic, A. Kanak, M. Labayen Esnaola, V. Orani, D. Pereira, Luigi Pomante, R. Schlick, A. Smrcka, A. Yazici, Peter Folkesson, Behrooz Sangchoolie. The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. In 23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020. pages 352-359, IEEE, 2020. [doi]
Abstract is missing.