Modeling and Verification of Systems with Uncertainties - Archive ouverte HAL
Hdr Année : 2020

Modeling and Verification of Systems with Uncertainties

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

Benoit Delahaye
Architectures et Logiciels Sûrs
Laboratoire des Sciences du Numérique de Nantes
CV

Domaines

Théorie et langage formel [cs.FL] Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
HDR-Delahaye-wo-reviews.pdf (1.81 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

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

https://hal.science/tel-03636882

Soumis le : lundi 11 avril 2022-11:39:52

Dernière modification le : mardi 27 août 2024-12:54:08

Archivage à long terme le : mardi 12 juillet 2022-18:21:40

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : tel-03636882 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES UNAM LS2N LS2N-AELOS NANTES-UNIVERSITE
89 Consultations
74 Téléchargements

Partager

More