Login / Signup
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
Published in:
ENASE (2020)
Keyphrases
</>
model based testing
machine learning
management system
test cases
real world
case study
data model