Login / Signup
Tahira Batool
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Formal Models
Petri Net
Rough Fuzzy
Online Services
Top Venues
Soft Comput.
FIT
</>
Publications
</>
Uzma Ahmad
,
Tahira Batool
Domination in rough fuzzy digraphs with application.
Soft Comput.
27 (5) (2023)
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)