Protocol Analysis with Time.

Damián Aparicio-Sánchez Santiago Escobar Catherine A. Meadows José Meseguer Julia Sapiña

Published in: CoRR (2020)

Keyphrases

statistical analysis
data sets
digital libraries
formal analysis
database
databases
information retrieval
artificial intelligence
computer vision
decision making
knowledge base
multi agent
data structure
data analysis
image analysis
quantitative analysis