Benoît Delahaye

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ single authored publications

> Home > Persons > Benoît Delahaye

Publications

2020
[b2]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - books/hal/Delahaye20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/Delahaye20
Benoît Delahaye:
Modeling and Verification of Systems with Uncertainties. (Modélisation et Vérification de systèmes incertains). University of Nantes, France, 2020
2015
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/syncop/Delahaye15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syncop/Delahaye15
Benoît Delahaye:
Consistency for Parametric Interval Markov Chains. SynCoP 2015: 17-32
2010
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Delahaye10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Delahaye10
Benoît Delahaye:
Modular Specification and Compositional Analysis of Stochastic Systems. (Spécification Modulaire et Analyse Compositionnelle de Systèmes Stochastiques). University of Rennes 1, France, 2010

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.