Login / Signup
Sidra Iqbal
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Formal Models
Petri Net
Message Transmission
Protocol Specification
Top Venues
FIT
</>
Publications
</>
Sidra Iqbal
,
Tariq Ali
,
Nazir Ahmad Zafar
,
Tahira Batool
Verification and Validation of a VANET-based Formal Model for Online Taxi Service using VDM-SL Toolbox.
FIT
(2022)
Sidra Iqbal
,
Nazir Ahmad Zafar
,
Tariq Ali
IoT-based Formal Modelling of emergency message dissemination scheme for VANETs.
FIT
(2021)