CertiCAN: A Tool for the Coq Certification of CAN Analysis Results.

Pascal Fradet Xiaojie Guo Jean-François Monin Sophie Quinton

Published in: RTAS (2019)

Keyphrases

statistical analysis
real time
databases
database systems
third party
quantitative analysis
data mining
information retrieval
genetic algorithm
artificial intelligence
image analysis
analysis tool