Probabilistic Verification of Communication Protocols.

Nicholas F. Maxemchuk Krishan K. Sabnani

Published in: PSTV (1987)

Keyphrases

communication protocols
protocol specification
bayesian networks
communication protocol
neural network
uncertain data
communication networks
probabilistic model
model checking
protocol stack
databases
generative model
anomaly detection