Formal Modeling and Analysis of Google's Megastore in Real-Time Maude.

Jon Grov Peter Csaba Ölveczky

Published in: Specification, Algebra, and Software (2014)

Keyphrases

real time
information systems
statistical analysis
formal specification
genetic algorithm
artificial intelligence
data analysis
data sets
databases
search engine
case study
image analysis
formal analysis
structural analysis