Browsing KINDI Center for Computing Research by Author "Kharbeche, Mohamed"
Now showing items 1-1 of 1
-
A formal model-based testing framework for validating an IoT solution for blockchain-based vehicles communication
Jabbar, Rateb; Krichen, Moez; Kharbeche, Mohamed; Fetais, Noora; Barkaoui, Kamel ( 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 ...