Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA.

Ralf Sasse Santiago Escobar Catherine A. Meadows José Meseguer

Published in: STM (2010)

Keyphrases

formal analysis
test bed
neural network
search engine
multiscale
data structure
video sequences
data analysis
artificial neural networks
quantitative analysis
security analysis