Formal Modeling and Analysis of Cassandra in Maude.

Si Liu Muntasir Raihan Rahman Stephen Skeirik Indranil Gupta José Meseguer

Published in: ICFEM (2014)

Keyphrases

data analysis
statistical modeling
mathematical modeling
case study
formal analysis
data sets
neural network
artificial intelligence
image processing
image segmentation
quantitative analysis
formal model
formal specification
formal models