Search
Now showing items 1-2 of 2
A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain
(
Institute of Electrical and Electronics Engineers Inc.
, 2020 , Conference Paper)
In most cities, the availability of parking is a major concern. The misuse of parking spots as drivers park for longer than permitted periods cause more delays, inconvenience to others, and even parking tickets. Moreover, ...
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 ...