José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
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
January 2021
PDF
Cite
DOI
Type
Conference paper
Publication
Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings
Related
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
Cite
×