Barbosa, R. Et Al. 2020. The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. 23rd Euromicro Conference on Digital System Design (DSD) , (Kranj, Slovenia), 352-359.

Barbosa, R., Basagiannis, S., Becker, H., Jahic, J., Kanak, A., Esnaola, M. L., ... Orani, V.(2020). The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security . 23rd Euromicro Conference on Digital System Design (DSD) (pp.352-359). Kranj, Slovenia

Barbosa, Raul Et Al. "The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security," 23rd Euromicro Conference on Digital System Design (DSD), Kranj, Slovenia, 2020

Barbosa, Raul Et Al. "The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security." 23rd Euromicro Conference on Digital System Design (DSD) , Kranj, Slovenia, pp.352-359, 2020

Barbosa, R. Et Al. (2020) . "The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security." 23rd Euromicro Conference on Digital System Design (DSD) , Kranj, Slovenia, pp.352-359.

@conferencepaper{conferencepaper, author={Raul Barbosa Et Al. }, title={The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security}, congress name={23rd Euromicro Conference on Digital System Design (DSD)}, city={Kranj}, country={Slovenia}, year={2020}, pages={352-359} }