Sign in

Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems.

Enrico FerrariRupert SchlickJose Luis de la VaraPeter FolkessonBehrooz Sangchoolie
Published in: SAFECOMP Workshops (2022)
Keyphrases
  • preprocessing
  • expert systems
  • computational cost
  • data sets
  • benchmark datasets
  • complex systems
  • mathematical models
  • machine learning
  • information retrieval
  • database systems
  • evaluation criteria