The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

R. Barbosa; Stylianos Basagiannis; Georgios Giantamidis; H. Becker; Enrico Ferrari; J. Jahic; A. Kanak; Mikel Esnaola; Vanessa Orani; David Pereira; Luigi Pomante; Rupert Schlick; Ales Smrcka; A. Yazici; Peter Folkesson; Behrooz Sangchoolie

doi:10.1109/DSD51259.2020.00064

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

R. Barbosa (Vortragende:r)
, Stylianos Basagiannis
, Georgios Giantamidis
, H. Becker
, Enrico Ferrari
, J. Jahic
, A. Kanak
, Mikel Esnaola
, Vanessa Orani
, David Pereira
, Luigi Pomante
, Rupert Schlick
, Ales Smrcka
, A. Yazici
, Peter Folkesson
, Behrooz Sangchoolie

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

Originalsprache	Englisch
Titel	Digital System Design. Euromicro Conference. 23rd 2020. (dsd 2020)
Seiten	352-359
Seitenumfang	8
DOIs	https://doi.org/10.1109/DSD51259.2020.00064
Publikationsstatus	Veröffentlicht - 2020
Veranstaltung	23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020 - Dauer: 26 Aug. 2020 → 28 Aug. 2020

Konferenz

Konferenz	23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020
Zeitraum	26/08/20 → 28/08/20

Research Field

Dependable Systems Engineering

Zugriff auf Dokument

10.1109/DSD51259.2020.00064Lizenz: Nicht angegeben

Diese Publikation zitieren

Barbosa, R., Basagiannis, S., Giantamidis, G., Becker, H., Ferrari, E., Jahic, J., Kanak, A., Esnaola, M., Orani, V., Pereira, D., Pomante, L., Schlick, R., Smrcka, A., Yazici, A., Folkesson, P., & Sangchoolie, B. (2020). The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. in Digital System Design. Euromicro Conference. 23rd 2020. (dsd 2020) (S. 352-359) https://doi.org/10.1109/DSD51259.2020.00064

@inproceedings{70e4c4dc442144bf9e4ecc0a7a805b7d,

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 Mikel Esnaola and Vanessa Orani and David Pereira and Luigi Pomante and Rupert Schlick and Ales Smrcka and A. Yazici and Peter Folkesson and Behrooz Sangchoolie",

year = "2020",

doi = "10.1109/DSD51259.2020.00064",

language = "English",

isbn = "9781728195360",

pages = "352--359",

booktitle = "Digital System Design. Euromicro Conference. 23rd 2020. (dsd 2020)",

note = "23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020 ; Conference date: 26-08-2020 Through 28-08-2020",

}

Barbosa, R, Basagiannis, S, Giantamidis, G, Becker, H, Ferrari, E, Jahic, J, Kanak, A, Esnaola, M, Orani, V, Pereira, D, Pomante, L, Schlick, R, Smrcka, A, Yazici, A, Folkesson, P & Sangchoolie, B 2020, The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. in Digital System Design. Euromicro Conference. 23rd 2020. (dsd 2020). S. 352-359, 23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020, 26/08/20. https://doi.org/10.1109/DSD51259.2020.00064

TY - GEN

T1 - The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

AU - Basagiannis, Stylianos

AU - Giantamidis, Georgios

AU - Becker, H.

AU - Ferrari, Enrico

AU - Jahic, J.

AU - Kanak, A.

AU - Esnaola, Mikel

AU - Orani, Vanessa

AU - Pereira, David

AU - Pomante, Luigi

AU - Schlick, Rupert

AU - Smrcka, Ales

AU - Yazici, A.

AU - Folkesson, Peter

AU - Sangchoolie, Behrooz

A2 - Barbosa, R.

PY - 2020

Y1 - 2020

U2 - 10.1109/DSD51259.2020.00064

DO - 10.1109/DSD51259.2020.00064

M3 - Conference Proceedings with Oral Presentation

SN - 9781728195360

SP - 352

EP - 359

BT - Digital System Design. Euromicro Conference. 23rd 2020. (dsd 2020)

T2 - 23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020

Y2 - 26 August 2020 through 28 August 2020

ER -