Modeling and Verification of Systems with Uncertainties - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly
Habilitation À Diriger Des Recherches Year : 2020

Modeling and Verification of Systems with Uncertainties

Modélisation et Vérification de systèmes incertains

Benoit Delahaye
Architectures et Logiciels Sûrs
CV

Domains

Formal Languages and Automata Theory [cs.FL] Software Engineering [cs.SE]
Fichier principal
Vignette du fichier
HDR-Delahaye-wo-reviews.pdf (1.81 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

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

https://hal.science/tel-03636882

Submitted on : Monday, April 11, 2022-11:39:52 AM

Last modification on : Tuesday, April 23, 2024-10:18:03 AM

Long-term archiving on: Tuesday, July 12, 2022-6:21:40 PM

Download

Dates and versions

tel-03636882 , version 1 (11-04-2022)

Identifiers

  • HAL Id : tel-03636882 , version 1

Cite

Benoit Delahaye. Modeling and Verification of Systems with Uncertainties. Formal Languages and Automata Theory [cs.FL]. Université de Nantes, 2020. ⟨tel-03636882⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES INSTITUT-TELECOM CNRS INRIA EC-NANTES UNAM LS2N LS2N-AELOS NANTES-UNIVERSITE
57 View
31 Download

Share

Gmail Facebook X LinkedIn More