Sidra Iqbal

According to our database, Sidra Iqbal authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

Proceedings of the International Conference on Frontiers of Information Technology, 2022

2021

IoT-based Formal Modelling of emergency message dissemination scheme for VANETs.

Sidra Iqbal, Nazir Ahmad Zafar, Tariq Ali

Proceedings of the International Conference on Frontiers of Information Technology, 2021