Sign in

Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems.

Benoît DelahayeBenoît CaillaudAxel Legay
Published in: ACSD (2010)
Keyphrases
  • stochastic systems
  • probabilistic model
  • bayesian networks
  • error rate
  • upper bound
  • supply chain