BibTeX record conf/dsd/BarbosaBGBFJKEO20

• > Home > conf/dsd/BarbosaBGBFJKEO20

@inproceedings{DBLP:conf/dsd/BarbosaBGBFJKEO20,
  author       = {Raul Barbosa and
                  Stylianos Basagiannis and
                  Georgios Giantamidis and
                  H. Becker and
                  Enrico Ferrari and
                  J. Jahic and
                  A. Kanak and
                  Mikel Labayen Esnaola and
                  Vanessa Orani and
                  David Pereira and
                  Luigi Pomante and
                  Rupert Schlick and
                  Ales Smrcka and
                  Ahmet Yazici and
                  Peter Folkesson and
                  Behrooz Sangchoolie},
  title        = {The {VALU3S} {ECSEL} Project: Verification and Validation of Automated
                  Systems Safety and Security},
  booktitle    = {23rd Euromicro Conference on Digital System Design, {DSD} 2020, Kranj,
                  Slovenia, August 26-28, 2020},
  pages        = {352--359},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/DSD51259.2020.00064},
  doi          = {10.1109/DSD51259.2020.00064},
  timestamp    = {Mon, 05 Feb 2024 20:31:08 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/BarbosaBGBFJKEO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}