%0 Conference Paper %1 conf/dsd/BarbosaBGBFJKEO20 %A Barbosa, Raul %A Basagiannis, Stylianos %A Giantamidis, Georgios %A Becker, H. %A Ferrari, Enrico %A Jahic, J. %A Kanak, A. %A Esnaola, Mikel Labayen %A Orani, Vanessa %A Pereira, David %A Pomante, Luigi %A Schlick, Rupert %A Smrcka, Ales %A Yazici, Ahmet %A Folkesson, Peter %A Sangchoolie, Behrooz %B DSD %D 2020 %I IEEE %K dblp %P 352-359 %T The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. %U http://dblp.uni-trier.de/db/conf/dsd/dsd2020.html#BarbosaBGBFJKEO20 %@ 978-1-7281-9535-3

@inproceedings{conf/dsd/BarbosaBGBFJKEO20, added-at = {2024-02-05T00:00:00.000+0100}, author = {Barbosa, Raul and Basagiannis, Stylianos and Giantamidis, Georgios and Becker, H. and Ferrari, Enrico and Jahic, J. and Kanak, A. and Esnaola, Mikel Labayen and Orani, Vanessa and Pereira, David and Pomante, Luigi and Schlick, Rupert and Smrcka, Ales and Yazici, Ahmet and Folkesson, Peter and Sangchoolie, Behrooz}, biburl = {https://www.bibsonomy.org/bibtex/2063e2850c80042f521653dba894e7c1f/dblp}, booktitle = {DSD}, crossref = {conf/dsd/2020}, ee = {https://doi.org/10.1109/DSD51259.2020.00064}, interhash = {57092f69dcdbd0d050dc47f47cede8f9}, intrahash = {063e2850c80042f521653dba894e7c1f}, isbn = {978-1-7281-9535-3}, keywords = {dblp}, pages = {352-359}, publisher = {IEEE}, timestamp = {2024-04-10T14:09:10.000+0200}, title = {The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security.}, url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2020.html#BarbosaBGBFJKEO20}, year = 2020 }