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

Delahaye, Benoît;Caillaud, Benoît;Legay, Axel
(2010) 10th International Conference on Application of Concurrency to System Design (ACSD) (21.June.2010)

Files

No attached file found for this publication.

Details

Authors
  • Delahaye, Benoît
    Author
  • Caillaud, Benoît
    Author
  • Legay, AxelUCLouvain
    Author

Citations

  • APA
  • Chicago
  • FWB

Delahaye, B., Caillaud, B., & Legay, A. (2010). Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems. 10th International Conference on Application of Concurrency to System Design (ACSD). https://hdl.handle.net/2078.5/172966