Adoption de Techniques de Vérification Formelle et de Test Basé sur des Modèles pour Valider un Système de Partage de Dossiers Médicaux Basé sur la Blockchain - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2020

Adoption de Techniques de Vérification Formelle et de Test Basé sur des Modèles pour Valider un Système de Partage de Dossiers Médicaux Basé sur la Blockchain

Rateb Jabbar
  • Fonction : Auteur
  • PersonId : 1064923
Qatar University
CEDRIC. Systèmes sûrs
Moez Krichen
Unité de Recherche en développement et contrôle d'applications distribuées
Noora Fetais
  • Fonction : Auteur
  • PersonId : 990132
Qatar University
Kamel Barkaoui
CEDRIC. Systèmes sûrs

Domaines

Informatique [cs] Bio-informatique [q-bio.QM] Cryptographie et sécurité [cs.CR] Recherche d'information [cs.IR]
Fichier principal
Vignette du fichier
HAL___2020___Adoption_de_techniques_de_VF_et_TBM_pour_valider_un_syst_me_de_partage_de_dossiers_de_sant__bas__sur_la_blockchain (1).pdf (372.3 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Moez Krichen  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02512300

Soumis le : jeudi 19 mars 2020-15:11:36

Dernière modification le : vendredi 19 juillet 2024-11:38:05

Archivage à long terme le : samedi 20 juin 2020-14:59:47

Télécharger pour visualiser

Dates et versions

hal-02512300 , version 1 (19-03-2020)

Identifiants

  • HAL Id : hal-02512300 , version 1

Citer

Rateb Jabbar, Moez Krichen, Noora Fetais, Kamel Barkaoui. Adoption de Techniques de Vérification Formelle et de Test Basé sur des Modèles pour Valider un Système de Partage de Dossiers Médicaux Basé sur la Blockchain. 2020. ⟨hal-02512300⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM HESAM
108 Consultations
254 Téléchargements

Partager

More