Protocol analysis by using predicate nets.

Pierre Azéma Giorgos Papapanagiotakis

Published in: PSTV (1985)

Keyphrases

statistical analysis
real time
neural network
information systems
data sets
genetic algorithm
artificial intelligence
decision trees
multi agent systems
expert systems
image analysis
evolutionary algorithm
sensor networks
formal analysis