HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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 metadata

Cited literature [42 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02512300
Contributor : Moez Krichen Connect in order to contact the contributor
Submitted on : Thursday, March 19, 2020 - 3:11:36 PM
Last modification on : Monday, February 21, 2022 - 3:38:20 PM
Long-term archiving on: : Saturday, June 20, 2020 - 2:59:47 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

56

Files downloads

130