Browsing Ponencias (Lenguajes y Sistemas Informáticos) by Subject "Safety"
Now showing items 1-1 of 1
-
Presentation
Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert
(Springer, 2022)The modelling of regulatory frameworks and industry stan dards, including their argumentation and expected evidence, are ...