Skip to Main content Skip to Navigation

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

Complete list of metadatas

Cited literature [42 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02512300
Contributor : Moez Krichen <>
Submitted on : Thursday, March 19, 2020 - 3:11:36 PM
Last modification on : Monday, March 23, 2020 - 3:24:29 PM

File

HAL___2020___Adoption_de_techn...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02512300, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

15

Files downloads

10