Concepedia

Aniqa Rehman

AR

Statistics

Publications

4

Citations

73

H-Index

4

Active since

2018

Affiliations

COMSATS University Islamabad(Current)

Aniqa Rehman is an author at COMSATS University Islamabad specializing in systems engineering, engineering, and internet of things.

Top concepts

EngineeringSystems EngineeringAutomationComputer ScienceInternet Of ThingsFormal VerificationComputer EngineeringIndustrial InformaticsSmart CitySoftware Design

Publications per year

2018–2019

4

Publications

4

Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+

Saba Latif, Aniqa Rehman, Nazir Ahmad Zafar · 2019 · 26 citations

Engineering, Smart City, Iot Communication +17

Automata Based Railway Gate Control System at Level Crossing

Aniqa Rehman, Saba Latif, Nazir Ahmad Zafar · 2019 · 23 citations

Railway Traffic, Rgcs Modeling, Engineering +23

Modeling of Sewerage System Linking UML, Automata and TLA+

Saba Latif, Aniqa Rehman, Nazir Ahmad Zafar · 2018 · 13 citations

Engineering, Smart City, Wastewater Collection +19

Non-Deterministic Formal Modeling of Registration System towards Smart Campus

Aniqa Rehman, Saba Latif, Nazir Ahmad Zafar · 2018 · 11 citations

Engineering, Intelligent Systems, Uml Diagram +16

1–4 of 4