CertiCAN certifying CAN analyses and their results.

Pascal Fradet Xiaojie Guo Sophie Quinton

Published in: Real Time Syst. (2023)

Keyphrases

data sets
error analysis
machine learning
case study
knowledge base
image processing
three dimensional
face recognition
cooperative
natural language
object recognition
lower bound
data collection
statistical analysis