تصفح KINDI Center for Computing Research حسب الموضوع "Security"
السجلات المعروضة 1 -- 1 من 1
-
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 ...