Concepedia

Adnan Rashid

AR

Statistics

Publications

4

Citations

140

H-Index

4

Active since

2015

Affiliations

National University of Sciences and Technology(Current)

Adnan Rashid is an author at National University of Sciences and Technology specializing in formal verification, formal methods, and verification.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationBiologySmart GridCell BiologySystems BiologyComputer ScienceNatural Sciences

Publications per year

2015–2018

4

Publications

4

1–4 of 4