IoT-based Formal Modelling of emergency message dissemination scheme for VANETs. - Sidra Iqbal; Nazir Ahmad Zafar; Tariq Ali (FIT, 2021)

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 (FIT, 2022)