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 Accéder directement au contenu
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
Noora Fetais
  • Fonction : Auteur
  • PersonId : 990132
Kamel Barkaoui
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)
Loading...

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⟩
77 Consultations
212 Téléchargements

Partager

Gmail Facebook X LinkedIn More