Accès à distance ? S'identifier sur le proxy UCLouvain
Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.
Primary tabs
| Document type | Communication à un colloque (Conference Paper) |
|---|---|
| Publication date | 2010 |
| Language | Anglais |
| Conference | "10th International Conference on Application of Concurrency to System Design (ACSD)" (du 21/06/2010 au 25/06/2010) |
| Links |
| Bibliographic reference | Delahaye, Benoît ; Caillaud, Benoît ; Legay, Axel. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems..10th International Conference on Application of Concurrency to System Design (ACSD) (du 21/06/2010 au 25/06/2010). |
|---|---|
| Permanent URL | https://hdl.handle.net/2078.1/210629 |