Browsing Research Units by Publisher "SciTePress"
Now showing items 1-2 of 2
-
Adopting formal verification and model-based testing techniques for validating a blockchain-based healthcare records sharing system
( 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 ... -
A formal model-based testing framework for validating an IoT solution for blockchain-based vehicles communication
( SciTePress , 2020 , Conference Paper)The emergence of embedded and connected smart technologies, systems, and devices has enabled the concept of smart cities by connecting every "thing" to the Internet and in particular in transportation through the Internet ...