Statistics
Publications
2
Citations
26
H-Index
2
Active since
2005
Affiliations
Concordia University(Current)
S. Tabar is an author at Concordia University specializing in assertion checking, formal methods, and systems modeling.
Publications per year
2005–2022
2
2
Assertion based verification of PSL for systemC designs
A. Habibi, Amjad Gawanmeh, S. Tabar · 2005 · 13 citations
1–2 of 2