A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication.

Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui

Browse the full ENASE paper archive.