Modeling and Verification of Systems with Uncertainties - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2020

Modeling and Verification of Systems with Uncertainties

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

Benoit Delahaye
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)

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⟩
53 Consultations
28 Téléchargements

Partager

Gmail Facebook X LinkedIn More