A Model of Computation for the NRL Protocol Analyzer.

Catherine A. Meadows

Published in: CSFW (1994)

Keyphrases

high level
experimental data
formal model
statistical model
multi agent systems
probabilistic model
network model
real time
search engine
objective function
management system
parameter estimation
theoretical framework
mathematical model