Browsing Interdisciplinary & Smart Design by Publisher "SciTePress"

Now showing items 1-1 of 1

Adopting formal verification and model-based testing techniques for validating a blockchain-based healthcare records sharing system

Jabbar, Rateb; Krichen, Moez; Fetais, Noora; Barkaoui, Kamel ( SciTePress , 2020 , Conference Paper)
The Electronic Health Records (EHR) sharing system is the modern tool for delivering efficient healthcare to patients. Its functions include tracking of therapies, monitoring of the treatment effectiveness, prediction of ...