On a Prolog Environment for Protocol Analysis.

Giorgos Papapanagiotakis Pierre Azéma Brigitte Pradin-Chezalviel

Published in: ICDCS (1986)

Keyphrases

formal analysis
data analysis
databases
quantitative analysis
lightweight
statistical analysis
expert systems
petri net
electronic commerce
context aware
software engineering
sensor networks
database
multi agent
case study
machine learning
data mining
neural network
real time