Criteria for the Analysıs of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems

von Ferrari, Enrico
Veröffentlicht in SAFECOMP (41. : 2022 : München) Computer safety, reliability, and security (2022)

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S

von Bauer, Thomas
Veröffentlicht in SAMOS (21. : 2021 : Online) Embedded computer systems: architectures, modeling, and simulation (2022)

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

von Vara, Jose Luis de la
Veröffentlicht in QUATIC (14. : 2021 : Online) Quality of Information and Communications Technology (2021)