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 Access content directly
Preprints, Working Papers, ... Year :

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
  • Function : Author
  • PersonId : 1064923
Noora Fetais
  • Function : Author
  • 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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-02512300 , version 1

Cite

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⟩
67 View
166 Download

Share

Gmail Facebook Twitter LinkedIn More