Automated Protocol Analysis in Maude.

Jeffrey Van Baalen Thomas Böhne

Published in: FAABS (2002)

Keyphrases

formal analysis
automated analysis
databases
information systems
image analysis
quantitative analysis
real time
data sets
machine learning
artificial intelligence
social networks
knowledge base
database systems
data analysis
medical images
lightweight