Sign in
Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert.
Jabier Martinez
Ángel Jesús Varela-Vaca
Published in:
SAFECOMP Workshops (2022)
Keyphrases
</>
experimental data
neural network
statistical models
source code
empirical data
information systems
language model
empirical evidence
accurate models