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