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

Benoît Delahaye 1 Benoît Caillaud 1 Axel Legay 1
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Type de document :
Communication dans un congrès
10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal. IEEE Computer Society, 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00554297
Contributeur : Benoît Caillaud <>
Soumis le : lundi 10 janvier 2011 - 15:46:38
Dernière modification le : mercredi 16 mai 2018 - 11:23:04

Identifiants

  • HAL Id : inria-00554297, version 1

Citation

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. IEEE Computer Society, 2010. 〈inria-00554297〉

Partager

Métriques

Consultations de la notice

158