Delahaye2011b

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, (0):0-0, 2011.

Note on this paper

To appear

Keyword

[ Component ]

Contact

Benoît Delahaye
Benoît Caillaud http://www.irisa.fr/prive/Benoit.Caillaud/
Axel Legay

BibTex Reference

@article{Delahaye2011b,
   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 = {},
   Number = {0},
   Pages = {0--0},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)