Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems. - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 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
  • Fonction : Auteur
  • PersonId : 861400
System synthesis and supervision, scenarios

Domaines

Autre [cs.OH]

Benoît Caillaud  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 10 janvier 2011-15:46:38

Dernière modification le : mardi 3 décembre 2024-15:44:02

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00554297 , version 1

Citer

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⟩

Exporter

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
81 Consultations
0 Téléchargements

Partager

More