Concepedia
Statistics
Publications
1
Citations
13
H-Index
Active since
2015
S. A. R. KAZMI is an author specializing in autonomous systems, systems modeling, and real-time systems verification.
Publications per year
2015–2015
Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets
Awais Qasim, S. A. R. KAZMI, Ilyas Fakhir · Advances in Electrical and Computer Engineering · 2015 · 13 citations · Full text
Computing, Autonomous Systems, Computer Science +15
1–1 of 1