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
0 évaluation0% ont trouvé ce document utile (0 vote)
27 vues12 pages
Titre original
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
0 évaluation0% ont trouvé ce document utile (0 vote)
27 vues12 pages
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