A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems

Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie. A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. In Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins, Ricardo Pérez-Castillo, editors, Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings. Volume 1439 of Communications in Computer and Information Science, pages 325-340, Springer, 2021. [doi]

@inproceedings{VaraBFKMMMNPPPS21,
  title = {A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems},
  author = {Jose Luis de la Vara and Thomas Bauer and Bernhard Fischer and Mustafa Karaca and Henrique Madeira and Martin Matschnig and Silvia Mazzini and Giann Spilere Nandi and Fabio Patrone and David Pereira and José Proença and Rupert Schlick and Stefano Tonetta and Ugur Yayan and Behrooz Sangchoolie},
  year = {2021},
  doi = {10.1007/978-3-030-85347-1_24},
  url = {https://doi.org/10.1007/978-3-030-85347-1_24},
  researchr = {https://researchr.org/publication/VaraBFKMMMNPPPS21},
  cites = {0},
  citedby = {0},
  pages = {325-340},
  booktitle = {Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings},
  editor = {Ana C. R. Paiva and Ana Rosa Cavalli and Paula Ventura Martins and Ricardo Pérez-Castillo},
  volume = {1439},
  series = {Communications in Computer and Information Science},
  publisher = {Springer},
  isbn = {978-3-030-85347-1},
}