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]
@inproceedings{BarbosaBGBFJKEO20,
title = {The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security},
author = {R. Barbosa and Stylianos Basagiannis and Georgios Giantamidis and H. Becker and Enrico Ferrari and J. Jahic and A. Kanak and M. Labayen Esnaola and V. Orani and D. Pereira and Luigi Pomante and R. Schlick and A. Smrcka and A. Yazici and Peter Folkesson and Behrooz Sangchoolie},
year = {2020},
doi = {10.1109/DSD51259.2020.00064},
url = {https://doi.org/10.1109/DSD51259.2020.00064},
researchr = {https://researchr.org/publication/BarbosaBGBFJKEO20},
cites = {0},
citedby = {0},
pages = {352-359},
booktitle = {23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020},
publisher = {IEEE},
isbn = {978-1-7281-9535-3},
}