Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems. - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2010

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

Benoît Delahaye
System synthesis and supervision, scenarios
CV
Benoît Caillaud
System synthesis and supervision, scenarios
CV
Axel Legay
  • Function : Author
  • PersonId : 861400
System synthesis and supervision, scenarios

Domains

Other [cs.OH]

Benoît Caillaud  : Connect in order to contact the contributor

https://inria.hal.science/inria-00554297

Submitted on : Monday, January 10, 2011-3:46:38 PM

Last modification on : Friday, March 24, 2023-2:52:54 PM

No file

Dates and versions

inria-00554297 , version 1 (10-01-2011)

Identifiers

  • HAL Id : inria-00554297 , version 1

Cite

Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.. 10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal. ⟨inria-00554297⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
76 View
0 Download

Share

More