Une approche générique à la vérification quantitative - Archive ouverte HAL Accéder directement au contenu
Traduction Année : 2023

A Generic Approach to Quantitative Verification

Une approche générique à la vérification quantitative

Résumé

Ceci est une traduction française de l'introduction du mémoire d'habilitation à diriger des recherches (HDR) rédigé par Uli Fahrenberg. Elle a été produite par Aline Fahrenberg en réaction à plusieurs demandes d'une version française de ce mémoire. Le mémoire HDR en version complète n'existe toujours qu'en anglais, mais nous espérons que cette introduction suffira à aiguiser l'intérêt du lecteur et le convaincre de lire les autres chapitres en anglais.
Fichier principal
Vignette du fichier
thesis_fr.pdf (632.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Copyright (Tous droits réservés)

Dates et versions

hal-04206693 , version 1 (14-09-2023)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-04206693 , version 1

Citer

Uli Fahrenberg, Aline Fahrenberg. Une approche générique à la vérification quantitative. 2023. ⟨hal-04206693⟩
75 Consultations
41 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More