Probabilistic Verification of Communication Protocols.

Nicholas F. Maxemchuk Krishan K. Sabnani

Published in: Distributed Comput. (1989)

Keyphrases

communication protocols
protocol specification
probabilistic model
communication protocol
communication networks
generative model
bayesian networks
model checking
signature verification
databases
neural network
database systems
data analysis
object oriented
formal methods