Verification and Validation of a VANET-based Formal Model for Online Taxi Service using VDM-SL Toolbox.

Sidra Iqbal, Tariq Ali, Nazir Ahmad Zafar, Tahira Batool

Browse the full FIT paper archive.