C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Path-Sensitive Inference of Function Precedence Protocols.
Murali Krishna Ramanathan
Ananth Grama
Suresh Jagannathan
Published in:
ICSE (2007)
Keyphrases
</>
bayesian networks
partial order
probabilistic inference
database
hidden markov models
shortest path
bayesian inference
piecewise linear
real time
special case
random fields
decision theoretic
security protocols
inference process
authentication protocol