Probabilistic Validation of a Remote Procedure Call Protocol.
Nacéra BennacerGerard FlorinCéline FraizeStéphane NatkinPublished in: Application and Theory of Petri Nets (1994)
Keyphrases
- probabilistic model
- lightweight
- uncertain data
- data driven
- bayesian networks
- generative model
- probabilistic reasoning
- coloured petri nets
- distributed computing environment
- information theoretic
- probabilistic logic
- smart card
- probabilistic approaches
- security analysis
- probability theory
- data sets
- probability distribution
- metadata