Toward models for probabilistic program correctness.

Joe W. Duran John J. Wiorkowski

Published in: SIGMETRICS Perform. Evaluation Rev. (1978)

Keyphrases

probabilistic model
statistical models
database
complex systems
conditional probabilities
databases
artificial intelligence
case study
experimental data
mathematical models
probabilistic reasoning
accurate models
imprecise probabilities
parametric family