Sign in
Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems.
Benoît Delahaye
Benoît Caillaud
Axel Legay
Published in:
ACSD (2010)
Keyphrases
</>
stochastic systems
probabilistic model
bayesian networks
error rate
upper bound
supply chain