Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods in System Design, 38(1):1-32, 2011.
Axel Legay http://www.irisa.fr/distribcom
@article{DCL11,
Author = {Delahaye, Benoît and Caillaud, Benoît and Legay, Axel},
Title = {Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects},
Journal = {Formal Methods in System Design},
Volume = {38},
Number = {1},
Pages = {1--32},
Year = {2011}
}
Get EndNote Reference (.ref)