Formal Modeling and Analysis of the Walter Transactional Data Store.

Si Liu Peter Csaba Ölveczky Qi Wang José Meseguer

Published in: WRLA@ETAPS (2018)

Keyphrases

transactional data
quantitative analysis
genetic algorithm
image analysis
information retrieval
high dimensional
text classification