Sign in
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